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