Pakiet: cryptol (2.8.0-1 i inne) [debports]

Odnośniki dla cryptol

Zasoby systemu Debian:

Raporty o błędach

Pobieranie pakietu źródłowego :

Nie znaleziono

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.27) [riscv64]

Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6-udeb
dep: libc6.1 (>= 2.32) [ia64]

Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6.1-udeb
dep: libffi8 (>= 3.4)

Pliki biblioteki uruchomieniowej dla interfejsu funkcji obcych
dep: libgmp10 (>= 2:6.2.1+dfsg)

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

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

Narzędzie do udowadniania twierdzeń firmy Microsoft Research

Pobieranie cryptol

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
ia64 (port nieoficjalny)	2.8.0-1+b2	9 089,7 KiB	229 964,0 KiB	[lista plików]
riscv64 (port nieoficjalny)	2.8.0-1+b2	6 037,3 KiB	77 898,0 KiB	[lista plików]