Paket: cryptol (2.8.0-1 und andere) [debports]

Links für cryptol

Debian-Ressourcen:

Fehlerberichte

Quellcode-Paket herunterladen:

Nicht gefunden

Betreuer:

Externe Ressourcen:

Homepage [www.cryptol.net]

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 Pakete mit Bezug zu cryptol

hängt ab von

empfiehlt

schlägt vor

erweitert

dep: libc6 (>= 2.27) [riscv64]

GNU-C-Bibliothek: Laufzeitbibliotheken
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
dep: libc6.1 (>= 2.32) [ia64]

GNU-C-Bibliothek: Laufzeitbibliotheken
auch ein virtuelles Paket, bereitgestellt durch libc6.1-udeb
dep: libffi8 (>= 3.4)

Fremdes Funktionsinterface, Laufzeitbibliothek
dep: libgmp10 (>= 2:6.2.1+dfsg)

Mehrfachgenaue, arithmetische Bibliothek
dep: libtinfo6 (>= 6)

Systemnahe terminfo-Laufzeitbibliothek für die Terminalsteuerung
dep: z3

Theorembeweiser von Microsoft Research

cryptol herunterladen

Download für alle verfügbaren Architekturen
Architektur	Version	Paketgröße	Größe (installiert)	Dateien
ia64 (inoffizielle Portierung)	2.8.0-1+b2	9.089,7 kB	229.964,0 kB	[Liste der Dateien]
riscv64 (inoffizielle Portierung)	2.8.0-1+b2	6.037,3 kB	77.898,0 kB	[Liste der Dateien]