Search Criteria
Package Details: darwin 1.4.5-2
Package Actions
Git Clone URL: | https://aur.archlinux.org/darwin.git (read-only, click to copy) |
---|---|
Package Base: | darwin |
Description: | The darwin prover suite. http://combination.cs.uiowa.edu/Darwin/ |
Upstream URL: | http://combination.cs.uiowa.edu/Darwin/ |
Licenses: | GPL2 |
Conflicts: | darwin |
Provides: | darwin |
Submitter: | eugenk |
Maintainer: | eugenk |
Last Packager: | eugenk |
Votes: | 0 |
Popularity: | 0.000000 |
First Submitted: | 2016-02-24 15:04 (UTC) |
Last Updated: | 2016-02-24 15:04 (UTC) |
Required by (4)
- hets-desktop (optional)
- hets-desktop-bin (optional)
- hets-server (optional)
- hets-server-bin (optional)