[ bullseye ] [ sid ]

[ Pakiet źródłowy: haskell-cryptol ]

Pakiet: cryptol (2.8.0-1 i inne)

Odnośniki dla cryptol

Zasoby systemu Debian:

Pobieranie pakietu źródłowego haskell-cryptol:

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [www.cryptol.net]

Podobne pakiety:

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

wymaga

poleca

sugeruje

enhances

dep: libc6 (>= 2.29)

Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6-udeb
dep: libffi7 (>= 3.3~20180313)

Pliki biblioteki uruchomieniowej dla interfejsu funkcji obcych
dep: libgmp10

Biblioteka działań arytmetycznych z dużą dokładnością
dep: libtinfo6 (>= 6)

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

theorem prover from Microsoft Research

Pobieranie cryptol

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	2.8.0-1+b2	2 621,5 KiB	17 977,0 KiB	[lista plików]
arm64	2.8.0-1+b2	3 423,6 KiB	23 693,0 KiB	[lista plików]
armhf	2.8.0-1+b2	3 178,0 KiB	20 099,0 KiB	[lista plików]
i386	2.8.0-1+b2	2 691,4 KiB	14 592,0 KiB	[lista plików]