Pakket: cryptol (2.8.0-1 en anderen) [debports]

Verwijzigingen voor cryptol

Debian bronnen:

Probleemrapporten

Het bronpakket downloaden:

Niet gevonden

Beheerders:

Externe bronnen:

Homepage [www.cryptol.net]

Vergelijkbare pakketten:

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.

Andere aan cryptol gerelateerde pakketten

depends

recommends

suggests

enhances

dep: libc6 (>= 2.27) [riscv64]

GNU C Bibliotheek: Gedeelde bibliotheken
Ook een virtueel pakket geboden door: libc6-udeb
dep: libc6.1 (>= 2.32) [ia64]

GNU C Bibliotheek: Gedeelde bibliotheken
Ook een virtueel pakket geboden door: libc6.1-udeb
dep: libffi8 (>= 3.4)

Foreign Function Interface library runtime
dep: libgmp10 (>= 2:6.2.1+dfsg)

Multiprecision arithmetic library
dep: libtinfo6 (>= 6)

shared low-level terminfo library for terminal handling
dep: z3

theorem prover from Microsoft Research

cryptol downloaden

Pakket downloaden voor alle beschikbare platforms
Platform	Versie	Pakketgrootte	Geïnstalleerde grootte	Bestanden
ia64 (unofficial port)	2.8.0-1+b2	9.089,7 kB	229.964,0 kB	[overzicht]
riscv64 (unofficial port)	2.8.0-1+b2	6.037,3 kB	77.898,0 kB	[overzicht]