all options
stretch  ] [  buster  ] [  sid  ]

Source Package: haskell-cryptol (2.4.0-2)

Links for haskell-cryptol

Debian Resources:

Maintainers:

External Resources:

The following binary packages are built from this source package:
cryptol
domain-specific language of cryptography
libghc-cryptol-dev
domain-specific language of cryptography
libghc-cryptol-doc
domain-specific language of cryptography; documentation
libghc-cryptol-prof
domain-specific language of cryptography; profiling libraries

Other Packages Related to haskell-cryptol

  • build-depends
  • build-depends-indep

Download haskell-cryptol

FileSize (in kB)MD5 checksum
haskell-cryptol_2.4.0-2.dsc 3.8 kB b978bed5c778728c96556974317dce42
haskell-cryptol_2.4.0.orig.tar.gz 290.3 kB fea327044f959401ed3c5d2b5c193a19
haskell-cryptol_2.4.0-2.debian.tar.xz 2.8 kB 821003218b21af63d759ddee0ee828dc
Debian Package Source Repository (VCS: Git)
https://anonscm.debian.org/git/pkg-haskell/DHG_packages.git
Debian Package Source Repository (Browsable)
https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git/tree/p/haskell-cryptol