Pakiet wirtualny: libghc-sbv-dev-8.17-d5a54

This is a virtual package. See the Debian policy for a definition of virtual packages.

Pakiety udostępniające libghc-sbv-dev-8.17-d5a54

libghc-sbv-dev

symbolic Haskell theorem prover using SMT solving