Näennäispaketti: libghc-sbv-prof-8.7-1abb7

Tämä on näennäispaketti. Katso Debianin linjan kuvaksesta näennäispaketin määritelmä.

Paketit, jotka toteuttavat paketin libghc-sbv-prof-8.7-1abb7

libghc-sbv-prof

symbolic Haskell theorem prover using SMT solving; profiling libraries