Package: cryptol (2.8.0-1 and others) [debports]

[ Source:  ]

Domænespecifikt sprog for kryptografi

Cryptol er et domænespecifikt sprog for specifikation af kryptografiske algoritmer. En Cryptol-implementering for en algoritme ligner dens matematiske specifikation mere tæt end en implementering i et alment sprog.

Other Packages Related to cryptol

• dep: libc6.1 (>= 2.29)

  GNU C-bibliotek: Delte biblioteker
  also a virtual package provided by libc6.1-udeb

• dep: libffi8 (>= 3.4)

  Brugerflade for fremmed funktion - bibliotekskørselstid

• dep: libgmp10 (>= 2:6.2.1+dfsg)

  Bibliotek til multipræcision i aritmetik

• dep: libtinfo6 (>= 6)

  delt terminfo-bibliotek på lavt niveau for terminalhåndtering

• dep: z3

  Læresætningsbeviser fra Microsoft Research

Download cryptol

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	2.8.0-1+b2	7,320.8 kB	71,742.0 kB	[list of files]