Package: cryptol (2.6.0-3 and others)

Links for cryptol

Debian Resources:

Download Source Package haskell-cryptol:

Maintainers:

External Resources:

Homepage [www.cryptol.net]

Similar packages:

Domænespecifikt sprog for kryptografi

Cryptol er et domænespecifikt sprog for specifikation af kryptografiske algoritmer. En Cryptol-implementering for en algoritme ligner dens matematiske specifikation mere tæt end en implementering i et alment sprog.

Other Packages Related to cryptol

depends

recommends

suggests

enhances

dep: libatomic1 (>= 4.8)

Understøttelsesbibliotek der tilbyder __atomic indbyggede funktioner
dep: libc6 (>= 2.27) [amd64]

GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb

dep: libc6 (>= 2.28) [i386]
dep: libffi6 (>= 3.0.4)

Brugerflade for fremmed funktion - bibliotekskørselstid
dep: libgmp10

Bibliotek til multipræcision i aritmetik
dep: libtinfo6 (>= 6)

delt terminfo-bibliotek på lavt niveau for terminalhåndtering
dep: z3

Læresætningsbeviser fra Microsoft Research

Download cryptol

Download for all available architectures
Architecture	Version	Package Size	Installed Size	Files
amd64	2.6.0-3+b1	2,370.0 kB	15,873.0 kB	[list of files]
i386	2.6.0-3+b1	2,362.4 kB	12,351.0 kB	[list of files]