Virtuelles Paket: libghc-smtlib-dev-1.0.9-fa07c
Dies ist ein virtuelles Paket. Sehen Sie in die Debian-Richtlinien bezüglich einer Definition von virtuellen Paketen.
Pakete, die libghc-smtlib-dev-1.0.9-fa07c bereitstellen
- libghc-smtlib-dev
- A library for working with the SMTLIB format.