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