Package Details: darwin 1.4.5-2

Git Clone URL: https://aur.archlinux.org/darwin.git (read-only)
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
Last Updated: 2016-02-24 15:04

Dependencies (2)

Required by (4)

Sources (1)