Virtuelles Paket: libghc-sbv-prof-10.2-cd3be

Dies ist ein virtuelles Paket. Sehen Sie in die Debian-Richtlinien bezüglich einer Definition von virtuellen Paketen.

Pakete, die libghc-sbv-prof-10.2-cd3be bereitstellen

libghc-sbv-prof

symbolic Haskell theorem prover using SMT solving; profiling libraries