Search Criteria
Package Details: saw-script-git r2688.75c7fd76-1
| Git Clone URL: | https://aur.archlinux.org/saw-script-git.git (read-only, click to copy) |
|---|---|
| Package Base: | saw-script-git |
| Description: | The Software Analysis Workbench |
| Upstream URL: | https://saw.galois.com/ |
| Licenses: | noncommercial |
| Conflicts: | saw-script |
| Provides: | saw-script |
| Submitter: | spaceships |
| Maintainer: | None |
| Last Packager: | amaloz |
| Votes: | 1 |
| Popularity: | 0.000002 |
| First Submitted: | 2016-09-30 18:01 (UTC) |
| Last Updated: | 2018-11-28 18:21 (UTC) |
Dependencies (4)
- ncurses (ncurses-gitAUR)
- z3 (z3-javaAUR, z3-gitAUR)
- perl (perl-gitAUR) (make)
- stack (stack-binAUR, stack-staticAUR) (make)