all options
bullseye  ] [  sid  ]

Virtual Package: libghc-cryptol-dev-2.8.0-08db8

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

Packages providing libghc-cryptol-dev-2.8.0-08db8

libghc-cryptol-dev
domain-specific language of cryptography