Package Details: cryptol-git 2.5.0.r254.g8c6af86-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
Last Packager: spaceships
Votes: 1
Popularity: 0.000077
First Submitted: 2014-09-21 20:25
Last Updated: 2017-11-05 22:02

Dependencies (9)

Required by (0)

Sources (1)