Search Criteria
Package Details: cryptol-git 2.6.0.r31.g2e4adcc-1
Git Clone URL: | https://aur.archlinux.org/cryptol-git.git (read-only, click to copy) |
---|---|
Package Base: | cryptol-git |
Description: | A domain-specific language for specifying cryptographic algorithms. |
Upstream URL: | http://www.cryptol.net |
Licenses: | |
Conflicts: | |
Provides: | |
Submitter: | spaceships |
Maintainer: | spaceships (amaloz) |
Last Packager: | amaloz |
Votes: | 1 |
Popularity: | 0.000000 |
First Submitted: | 2014-09-21 20:25 |
Last Updated: | 2018-11-14 17:27 |
Dependencies (6)
- z3 (z3-bin, z3-java, z3-git)
- cabal-install (cabal-install-git, cabal-static, cabal-install-bin) (make)
- git (git-git) (make)
- boolector (boolector-git) (optional) – theorem proving
- mathsat-5 (optional) – theorem proving
- yices (yices-bin) (optional) – theorem proving