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