libz3-java
theorem prover from Microsoft Research - java bindings
Z3 is a state-of-the-art theorem prover from Microsoft Research. See the z3
package for a detailed description.
libmgl7.4.0
library for scientific graphs (main runtime library)
golang-1.19
Go programming language compiler - metapackage
The Go programming language is an open source project to make
programmers more productive. Go is expressive, concise, clean, and
efficient. Its concurrency mechanisms make it easy to write programs
that get the most out of multicore and networked machines, while its
novel type system enables flexible and modular program construction.
Go compiles quickly to machine code yet has the convenience of
garbage collection and the power of run-time reflection. It's a
fast, statically typed, compiled language that feels like a
dynamically typed, interpreted language.
python-skbio
Python data structures, algorithms, educational resources for bioinformatics
Scikit-bio is a Python package providing data structures, algorithms, and
educational resources for bioinformatics.
python-gdbm
GNU dbm database support for Python2
GNU dbm database module for Python2. Install this if you want to
create or read GNU dbm database files with Python2.
apertium-af-nl
Transitional dummy package for apertium-afr-nld
This is a transitional dummy package. It can safely be removed.