libcvc3-5v5

Automatic theorem prover library for SMT problems

python3-nose-cov

nose plugin for coverage reporting - python 3 flavor

libosgearthqt3

Dynamic 3D terrain rendering toolkit for OpenSceneGraph (osgEarthQt)

python3-randomize

randomize the order of tests in a unittest.TestCase class - Python 3.x

This is a nose plugin. With this package, it is possible to randomize the order of the tests within a unittest.TestCase class.

kea-dhcp-ddns-server

DHCP Dynamic DNS service

Kea is an IPv4 and IPv6 DHCP server developed by Internet Systems Consortium.

kea-dhcp6-server

IPv6 DHCP server

Kea is an IPv4 and IPv6 DHCP server developed by Internet Systems Consortium providing a very high-performance with PostgreSQL, MySQL and memfile backends.