[ nabia ]
Virtuelles Paket: libghc-sbv-dev-7.13-7e0aa
Dies ist ein virtuelles Paket. Sehen Sie in die Debian-Richtlinien bezüglich einer Definition von virtuellen Paketen.
Pakete, die libghc-sbv-dev-7.13-7e0aa bereitstellen
- libghc-sbv-dev
- symbolic Haskell theorem prover using SMT solving