Paket: cryptol (3.0.0-1 och andra)

Länkar för cryptol

Debianresurser:

Hämta källkodspaketet haskell-cryptol:

Ansvariga:

Debian Haskell Group (QA-sida, E-postarkiv)
Clint Adams (QA-sida)

Externa resurser:

Hemsida [www.cryptol.net]

Liknande paket:

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.

Andra paket besläktade med cryptol

beror

rekommenderar

föreslår

enhances

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

GNU C-bibliotek: Delade bibliotek
också ett virtuellt paket som tillhandahålls av libc6-udeb

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

GNU C-bibliotek: Delade bibliotek
också ett virtuellt paket som tillhandahålls av 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) [ej 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]

Kompressionsbibliotek - körtidspaket

Hämta cryptol

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Version	Paketstorlek	Installerad storlek	Filer
alpha (inofficiell anpassning)	2.8.0-1+b2	7.320,8 kbyte	71.742,0 kbyte	[filförteckning]
amd64	3.0.0-1+b2	8.970,7 kbyte	61.272,0 kbyte	[filförteckning]
arm64	3.0.0-1+b3	9.006,5 kbyte	70.459,0 kbyte	[filförteckning]
armel	2.8.0-1+b3	3.174,0 kbyte	20.079,0 kbyte	[filförteckning]
armhf	2.8.0-1+b3	3.213,0 kbyte	20.091,0 kbyte	[filförteckning]
hppa (inofficiell anpassning)	2.8.0-1+b3	6.329,8 kbyte	71.793,0 kbyte	[filförteckning]
i386	2.8.0-1+b3	2.691,6 kbyte	14.592,0 kbyte	[filförteckning]
ia64 (inofficiell anpassning)	2.8.0-1+b2	9.089,7 kbyte	229.964,0 kbyte	[filförteckning]
m68k (inofficiell anpassning)	2.8.0-1+b3	4.173,7 kbyte	41.323,0 kbyte	[filförteckning]
mips64el	3.0.0-1+b2	14.247,2 kbyte	149.889,0 kbyte	[filförteckning]
ppc64 (inofficiell anpassning)	2.8.0-1+b3	4.439,4 kbyte	57.383,0 kbyte	[filförteckning]
ppc64el	3.0.0-1+b3	10.000,4 kbyte	103.384,0 kbyte	[filförteckning]
riscv64	3.0.0-1+b2	11.300,6 kbyte	75.732,0 kbyte	[filförteckning]
s390x	2.8.0-1+b4	9.849,1 kbyte	68.045,0 kbyte	[filförteckning]
sparc64 (inofficiell anpassning)	2.8.0-1+b3	5.487,0 kbyte	94.183,0 kbyte	[filförteckning]
x32 (inofficiell anpassning)	2.8.0-1+b3	12.731,2 kbyte	50.875,0 kbyte	[filförteckning]