[zenon/f18] (2 commits) ...Rebuild for OCaml 4.00.1.
Jerry James
jjames at fedoraproject.org
Fri Dec 14 04:45:30 UTC 2012
Summary of changes:
84c2f02... Rebuild for coq 8.4. (*)
4a92387... Rebuild for OCaml 4.00.1. (*)
(*) This commit already existed in another branch; no separate mail sent
More information about the scm-commits
mailing list