all options
sid  ]

Virtual Package: libghc-cryptol-dev-2.8.0-a83a8

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

Packages providing libghc-cryptol-dev-2.8.0-a83a8

libghc-cryptol-dev
domain-specific language of cryptography