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