[coq/f19] New upstream release. Harden the build due to network use.
Jerry James
jjames at fedoraproject.org
Thu May 23 16:22:48 UTC 2013
Summary of changes:
4006cf3... New upstream release. Harden the build due to network use. (*)
(*) This commit already existed in another branch; no separate mail sent
More information about the scm-commits
mailing list