libasan1-armel-cross

AddressSanitizer -- a fast memory error detector

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.