[gappalib-coq/f19] New upstream release.
Jerry James
jjames at fedoraproject.org
Thu May 23 18:05:42 UTC 2013
Summary of changes:
631d241... New upstream release. (*)
(*) This commit already existed in another branch; no separate mail sent
More information about the scm-commits
mailing list