[ aramo ]
Näennäispaketti: libghc-sbv-dev-8.7-1abb7
Tämä on näennäispaketti. Katso Debianin linjan kuvaksesta näennäispaketin määritelmä.
Paketit, jotka toteuttavat paketin libghc-sbv-dev-8.7-1abb7
- libghc-sbv-dev
- symbolic Haskell theorem prover using SMT solving