Пакунок: cryptol (2.8.0-1 and others)

[ Source: haskell-cryptol  ]

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.

Інші пакунки пов'язані з cryptol

• dep: libc6 (>= 2.29)

  Бібліотека GNU C: спільні бібліотеки
  also a virtual package provided by libc6-udeb

• dep: libffi7 (>= 3.3~20180313)

  Бібліотека інтерфейсу до сторонніх функцій — виконавчі файли

• dep: libgmp10

  Арифметична бібліотека багатоточності

• dep: libtinfo6 (>= 6)

  Низькорівнева колективна бібліотека „terminfo“ для роботи з терміналом

• dep: z3

  theorem prover from Microsoft Research

Завантажити cryptol

Завантаження для всіх доступних архітектур

Архітектура	Версія	Розмір пакунка	Розмір після встановлення	Файли
mipsel	2.8.0-1+b1	4,569.9 kB	50,057.0 kB	[список файлів]