Paquet : cryptol (3.0.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) [non alpha, amd64, arm64, ia64, mips64el, ppc64el, riscv64]

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

  dep: libc6 (>= 2.34) [amd64, arm64, mips64el, ppc64el, riscv64]

• dep: libc6.1 (>= 2.29) [alpha]

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

  dep: libc6.1 (>= 2.32) [ia64]

• dep: libffi8 (>= 3.4)

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

• dep: libgmp10 (>= 2:6.2.1+dfsg) [non amd64, arm64, mips64el, ppc64el, riscv64, x32]

  Bibliothèque arithmétique à multi-précision

  dep: libgmp10 (>= 2:6.3.0+dfsg) [amd64, arm64, mips64el, ppc64el, riscv64]

• dep: libtinfo6 (>= 6)

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

• dep: sgml-base (>= 1.28) [x32]

  infrastructure SGML et gestion de fichier de catalogue SGML

• dep: z3

  justificateur de théorème de Microsoft Research

• dep: zlib1g (>= 1:1.1.4) [amd64, arm64, mips64el, ppc64el, riscv64]

  Bibliothèque de compression - binaires

Télécharger cryptol

Télécharger pour toutes les architectures proposées

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
alpha (portage non officiel)	2.8.0-1+b2	7 320,8 ko	71 742,0 ko	[liste des fichiers]
amd64	3.0.0-1+b2	8 970,7 ko	61 272,0 ko	[liste des fichiers]
arm64	3.0.0-1+b3	9 006,5 ko	70 459,0 ko	[liste des fichiers]
armel	2.8.0-1+b3	3 174,0 ko	20 079,0 ko	[liste des fichiers]
armhf	2.8.0-1+b3	3 213,0 ko	20 091,0 ko	[liste des fichiers]
hppa (portage non officiel)	2.8.0-1+b3	6 329,8 ko	71 793,0 ko	[liste des fichiers]
i386	2.8.0-1+b3	2 691,6 ko	14 592,0 ko	[liste des fichiers]
ia64 (portage non officiel)	2.8.0-1+b2	9 089,7 ko	229 964,0 ko	[liste des fichiers]
m68k (portage non officiel)	2.8.0-1+b3	4 173,7 ko	41 323,0 ko	[liste des fichiers]
mips64el	3.0.0-1+b2	14 247,2 ko	149 889,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	2.8.0-1+b3	4 439,4 ko	57 383,0 ko	[liste des fichiers]
ppc64el	3.0.0-1+b3	10 000,4 ko	103 384,0 ko	[liste des fichiers]
riscv64	3.0.0-1+b2	11 300,6 ko	75 732,0 ko	[liste des fichiers]
s390x	2.8.0-1+b4	9 849,1 ko	68 045,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	2.8.0-1+b3	5 487,0 ko	94 183,0 ko	[liste des fichiers]
x32 (portage non officiel)	2.8.0-1+b3	12 731,2 ko	50 875,0 ko	[liste des fichiers]