Paquet : cryptol (2.8.0-1 et autres)

[ Paquet source : haskell-cryptol  ]

langage dédié à la crypotographie

Cryptol est un langage dédié pour définir des algorithmes de crypotographie. Une mise en œuvre de Cryptol d’un algorithme ressemble plus étroitement à sa spécification mathématique qu’une mise en œuvre dans un langage polyvalent.

Autres paquets associés à cryptol

• dep: libc6 (>= 2.29)

  bibliothèque C GNU : bibliothèques partagées
  un paquet virtuel est également fourni par libc6-udeb

• dep: libffi7 (>= 3.3~20180313)

  Bibliothèque d'exécution de l'interface de fonction étrangère (FFI)

• dep: libgmp10

  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
mipsel	2.8.0-1+b1	4 569,9 ko	50 057,0 ko	[liste des fichiers]