» Ubuntu » Packages » noble (24.04LTS) » virtual » libghc-sbv-dev-10.2-ce577
noble  ]

Virtual Package: libghc-sbv-dev-10.2-ce577

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

Packages providing libghc-sbv-dev-10.2-ce577

libghc-sbv-dev
symbolic Haskell theorem prover using SMT solving