Package Details: darwin 1.4.5-2

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)