Paquet : cryptol (2.8.0-1 et autres) [debports]

Liens pour cryptol

Ressources Debian :

Rapports de bogues

Télécharger le paquet source :

Introuvable

Responsables :

Ressources externes :

Page d'accueil [www.cryptol.net]

Paquets similaires :

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.

Autres paquets associés à cryptol

dépendances

recommandations

suggestions

enhances

dep: libc6 (>= 2.27) [riscv64]

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
dep: libc6.1 (>= 2.32) [ia64]

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6.1-udeb
dep: libffi8 (>= 3.4)

Bibliothèque d'exécution de l'interface de fonction étrangère (FFI)
dep: libgmp10 (>= 2:6.2.1+dfsg)

Bibliothèque arithmétique à multi-précision
dep: libtinfo6 (>= 6)

bibliothèque partagée terminfo de bas niveau pour manipuler le terminal
dep: z3

justificateur de théorème de Microsoft Research

Télécharger cryptol

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
ia64 (portage non officiel)	2.8.0-1+b2	9 089,7 ko	229 964,0 ko	[liste des fichiers]
riscv64 (portage non officiel)	2.8.0-1+b2	6 037,3 ko	77 898,0 ko	[liste des fichiers]