[gappalib-coq/f16] New upstream release.
Jerry James
jjames at fedoraproject.org
Mon Dec 12 18:59:28 UTC 2011
Summary of changes:
8b3eff5... New upstream release. (*)
(*) This commit already existed in another branch; no separate mail sent
More information about the scm-commits
mailing list