Search Criteria
Notice: Undefined variable: name in /srv/http/vhosts/aur-dev.archlinux.org/public/web/lib/pkgfuncs.inc.php on line 248
Package Details: saw-script 0.2-1
| Git Clone URL: | https://aur-dev.archlinux.org/saw-script.git (read-only) |
|---|---|
| Package Base: | saw-script |
| Description: | The SAW scripting language. |
| Upstream URL: | http://saw.galois.com/ |
| Licenses: | |
| Provides: | |
| Submitter: | spaceships |
| Maintainer: | spaceships |
| Last Packager: | spaceships |
| Votes: | 1 |
| Popularity: | 0.001694 |
| First Submitted: | 2015-11-08 23:37 |
| Last Updated: | 2016-07-13 16:06 |
Dependencies (3)
- cvc4 (cvc4-git)
- java-environment (java-gcj-compat, jdk6, jdk5, denix-jdk8, jdk8-openjdk-jetbrains-git, jdk7-openjdk-infinality, tuxjdk, jdk-arm, jdk8-openjdk-jetbrains, intellij-jdk, jdk8-openjdk-infinality, jdk, jdk7, jdk-devel, jdk7-openjdk, jdk8-openjdk)
- libtinfo