Paquet virtuel : libghc-sbv-dev-5.14-db0b6
Ceci est un paquet virtuel. Consultez la charte Debian pour une définition des paquets virtuels.
Paquets fournissant libghc-sbv-dev-5.14-db0b6
- libghc-sbv-dev
- symbolic Haskell theorem prover using SMT solving