UbuntuUpdates.org

Package "cryptol"

Name: cryptol

Description:

domain-specific language of cryptography

Latest version: 2.2.6-1build1
Release: xenial (16.04)
Level: base
Repository: universe
Head package: haskell-cryptol
Homepage: http://www.cryptol.net/

Links


Download "cryptol"


Other versions of "cryptol" in Xenial

No other version of this package is available in the Xenial release.

Changelog

There is no recent update for this package.



About   -   Send Feedback to @ubuntu_updates