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.