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