Package: cryptol (3.0.0-1 and others)

[ Source: haskell-cryptol  ]

domain-specific language of cryptography

Cryptol is a domain-specific language for specifying cryptographic algorithms. A Cryptol implementation of an algorithm resembles its mathematical specification more closely than an implementation in a general purpose language.

Other Packages Related to cryptol

• dep: libc6 (>= 2.29) [not alpha, amd64, arm64, ia64, mips64el, ppc64el, riscv64]

  GNU C Library: Shared libraries
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.34) [amd64, arm64, mips64el, ppc64el, riscv64]

• dep: libc6.1 (>= 2.29) [alpha]

  GNU C Library: Shared libraries
  also a virtual package provided by libc6.1-udeb

  dep: libc6.1 (>= 2.32) [ia64]

• dep: libffi8 (>= 3.4)

  Foreign Function Interface library runtime

• dep: libgmp10 (>= 2:6.2.1+dfsg) [not amd64, arm64, mips64el, ppc64el, riscv64, x32]

  Multiprecision arithmetic library

  dep: libgmp10 (>= 2:6.3.0+dfsg) [amd64, arm64, mips64el, ppc64el, riscv64]

• dep: libtinfo6 (>= 6)

  shared low-level terminfo library for terminal handling

• dep: sgml-base (>= 1.28) [x32]

  SGML infrastructure and SGML catalog file support

• dep: z3

  theorem prover from Microsoft Research

• dep: zlib1g (>= 1:1.1.4) [amd64, arm64, mips64el, ppc64el, riscv64]

  compression library - runtime

Download cryptol

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	2.8.0-1+b2	7,320.8 kB	71,742.0 kB	[list of files]
amd64	3.0.0-1+b2	8,970.7 kB	61,272.0 kB	[list of files]
arm64	3.0.0-1+b3	9,006.5 kB	70,459.0 kB	[list of files]
armel	2.8.0-1+b3	3,174.0 kB	20,079.0 kB	[list of files]
armhf	2.8.0-1+b3	3,213.0 kB	20,091.0 kB	[list of files]
hppa (unofficial port)	2.8.0-1+b3	6,329.8 kB	71,793.0 kB	[list of files]
i386	2.8.0-1+b3	2,691.6 kB	14,592.0 kB	[list of files]
ia64 (unofficial port)	2.8.0-1+b2	9,089.7 kB	229,964.0 kB	[list of files]
m68k (unofficial port)	2.8.0-1+b3	4,173.7 kB	41,323.0 kB	[list of files]
mips64el	3.0.0-1+b2	14,247.2 kB	149,889.0 kB	[list of files]
ppc64 (unofficial port)	2.8.0-1+b3	4,439.4 kB	57,383.0 kB	[list of files]
ppc64el	3.0.0-1+b3	10,000.4 kB	103,384.0 kB	[list of files]
riscv64	3.0.0-1+b2	11,300.6 kB	75,732.0 kB	[list of files]
s390x	2.8.0-1+b4	9,849.1 kB	68,045.0 kB	[list of files]
sparc64 (unofficial port)	2.8.0-1+b3	5,487.0 kB	94,183.0 kB	[list of files]
x32 (unofficial port)	2.8.0-1+b3	12,731.2 kB	50,875.0 kB	[list of files]