Search Criteria
Package Details: cyp-lukasstevens-git r294.3129d6f-1
Package Actions
| Git Clone URL: | https://aur.archlinux.org/cyp-lukasstevens-git.git (read-only, click to copy) |
|---|---|
| Package Base: | cyp-lukasstevens-git |
| Description: | (Check Your Proof) Checker for "morally correct" induction proofs about Haskell programs |
| Upstream URL: | https://github.com/lukasstevens/cyp |
| Licenses: | MIT |
| Provides: | cyp |
| Submitter: | halbGefressen |
| Maintainer: | halbGefressen |
| Last Packager: | halbGefressen |
| Votes: | 1 |
| Popularity: | 0.000000 |
| First Submitted: | 2020-12-13 12:28 (UTC) |
| Last Updated: | 2020-12-13 12:28 (UTC) |
Dependencies (6)
- gmp (gmp-hgAUR)
- libffi (libffi-gitAUR)
- ghc (ghc-cabal-artsAUR) (make)
- ghc-static (ghc-cabal-artsAUR) (make)
- git (git-gitAUR, git-glAUR) (make)
- stack (stack-staticAUR, stack-binAUR) (make)