all options
stretch  ] [  buster  ] [  bullseye  ] [  sid  ]

Source Package: haskell-cryptol (2.8.0-1)

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.8.0-1.dsc 3.5 kB 5c05b74d5bc5873759c18654ab031bf9
haskell-cryptol_2.8.0.orig.tar.gz 322.7 kB 928bae0363138070b7a7fc9cdbdc9ee8
haskell-cryptol_2.8.0-1.debian.tar.xz 4.4 kB f7c6ffd76f415753ce86b9b547c64b45
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-cryptol]
Debian Package Source Repository (Browsable)
https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-cryptol