Package Details: diy 7.01-1

Git Clone URL: https://aur.archlinux.org/diy.git (read-only)
Package Base: diy
Description: The sofware suite provides tools to design and test weak memory models.
Upstream URL: http://coq.inria.fr/
Licenses: CeCILL-B
Submitter: fixme
Maintainer: fixme
Last Packager: fixme
Votes: 0
Popularity: 0.000000
First Submitted: 2015-11-18 15:13
Last Updated: 2015-11-18 15:21

Dependencies (1)

Required by (0)

Sources (1)