Package Details: cryptol-git 2.6.0.r31.g2e4adcc-1

Git Clone URL: https://aur.archlinux.org/cryptol-git.git (read-only)
Package Base: cryptol-git
Description: A domain-specific language for specifying cryptographic algorithms.
Upstream URL: http://www.cryptol.net
Licenses: BSD
Conflicts: cryptol
Provides: cryptol
Submitter: spaceships
Maintainer: spaceships (amaloz)
Last Packager: amaloz
Votes: 1
Popularity: 0.000024
First Submitted: 2014-09-21 20:25
Last Updated: 2018-11-14 17:27

Dependencies (6)

Required by (0)

Sources (1)