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.