[zenon/f19] Rebuild for coq 8.4pl2.
Jerry James
jjames at fedoraproject.org
Thu May 23 17:56:20 UTC 2013
Summary of changes:
3b572aa... Rebuild for coq 8.4pl2. (*)
(*) This commit already existed in another branch; no separate mail sent
More information about the scm-commits
mailing list