[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