Paquet virtuel : libghc-sbv-prof-7.13-8e49c
Ceci est un paquet virtuel. Consultez la charte Debian pour une définition des paquets virtuels.
Paquets fournissant libghc-sbv-prof-7.13-8e49c
- libghc-sbv-prof
- symbolic Haskell theorem prover using SMT solving; profiling libraries