Pacote: cryptol (2.8.0-1 e outros) [debports]

[ Fonte:  ]

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.

Outros pacotes relacionados a cryptol

• dep: libc6 (>= 2.27) [riscv64]

  GNU Biblioteca C: Bibliotecas compartilhadas
  também um pacote virtual fornecido por libc6-udeb

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

  GNU Biblioteca C: Bibliotecas compartilhadas
  também um pacote virtual fornecido por libc6.1-udeb

• dep: libffi8 (>= 3.4)

  Biblioteca runtime Interface de Função Estrangeira

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

  biblioteca aritmética de multi precisão

• dep: libtinfo6 (>= 6)

  biblioteca de terminfo de baixo-nível compartilhada para manipulação de terminal

• dep: z3

  theorem prover from Microsoft Research

Download de cryptol

Baixe para todas as arquiteturas disponíveis

Arquitetura	Versão	Tamanho do pacote	Tamanho instalado	Arquivos
ia64 (porte não oficial)	2.8.0-1+b2	9,089.7 kB	229,964.0 kB	[lista de arquivos]
riscv64 (porte não oficial)	2.8.0-1+b2	6,037.3 kB	77,898.0 kB	[lista de arquivos]