Pakiet: cryptol (3.0.0-1 i inne)

[ Pakiet źródłowy: 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.

Inne pakiety związane z cryptol

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

  Biblioteka GNU C: biblioteki współdzielone
  również pakiet wirtualny udostępniany przez libc6-udeb

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

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

  Biblioteka GNU C: biblioteki współdzielone
  również pakiet wirtualny udostępniany przez libc6.1-udeb

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

• dep: libffi8 (>= 3.4)

  Pliki biblioteki uruchomieniowej dla interfejsu funkcji obcych

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

  Biblioteka działań arytmetycznych z dużą dokładnością

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

• dep: libtinfo6 (>= 6)

  Współdzielona, niskopoziomowa biblioteka terminfo do obsługi terminala

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

  Infrastruktura SGML i obsługa plików katalogów SGML

• dep: z3

  Narzędzie do udowadniania twierdzeń firmy Microsoft Research

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

  Biblioteka kompresyjna - pliki wykonawcze

Pobieranie cryptol

Pobierz dla wszystkich dostępnych architektur

Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
alpha (port nieoficjalny)	2.8.0-1+b2	7 320,8 KiB	71 742,0 KiB	[lista plików]
amd64	3.0.0-1+b2	8 970,7 KiB	61 272,0 KiB	[lista plików]
arm64	3.0.0-1+b3	9 006,5 KiB	70 459,0 KiB	[lista plików]
armel	2.8.0-1+b3	3 174,0 KiB	20 079,0 KiB	[lista plików]
armhf	2.8.0-1+b3	3 213,0 KiB	20 091,0 KiB	[lista plików]
hppa (port nieoficjalny)	2.8.0-1+b3	6 329,8 KiB	71 793,0 KiB	[lista plików]
i386	2.8.0-1+b3	2 691,6 KiB	14 592,0 KiB	[lista plików]
ia64 (port nieoficjalny)	2.8.0-1+b2	9 089,7 KiB	229 964,0 KiB	[lista plików]
m68k (port nieoficjalny)	2.8.0-1+b3	4 173,7 KiB	41 323,0 KiB	[lista plików]
mips64el	3.0.0-1+b2	14 247,2 KiB	149 889,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	2.8.0-1+b3	4 439,4 KiB	57 383,0 KiB	[lista plików]
ppc64el	3.0.0-1+b3	10 000,4 KiB	103 384,0 KiB	[lista plików]
riscv64	3.0.0-1+b2	11 300,6 KiB	75 732,0 KiB	[lista plików]
s390x	2.8.0-1+b4	9 849,1 KiB	68 045,0 KiB	[lista plików]
sparc64 (port nieoficjalny)	2.8.0-1+b3	5 487,0 KiB	94 183,0 KiB	[lista plików]
x32 (port nieoficjalny)	2.8.0-1+b3	12 731,2 KiB	50 875,0 KiB	[lista plików]