Skip to content
Sections
>> Trisquel >> Packages >> nabia >> utils >> cryptol
etiona  ] [  nabia  ] [  aramo  ]
[ Source: haskell-cryptol  ]

Package: cryptol (2.6.0-4build2)

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.

Other Packages Related to cryptol

  • depends
  • recommends
  • suggests
  • dep: libatomic1 (>= 4.8)
    support library providing __atomic built-in functions
  • dep: libc6 (>= 2.29)
    GNU C Library: Shared libraries
    also a virtual package provided by libc6-udeb
  • dep: libffi7 (>= 3.3~20180313)
    Foreign Function Interface library runtime
  • dep: libgmp10
    Multiprecision arithmetic library
  • dep: libtinfo6 (>= 6)
    shared low-level terminfo library for terminal handling
  • dep: z3
    theorem prover from Microsoft Research

Download cryptol

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 2,320.3 kB15245 kB [list of files]