[coq/f15/master] New upstream release. Change the list of supported arches to match the ocaml list, except for ppc64,
Jerry James
jjames at fedoraproject.org
Wed Apr 27 14:31:04 UTC 2011
Summary of changes:
9abe3a9... New upstream release. Change the list of supported arches t (*)
(*) This commit already existed in another branch; no separate mail sent
More information about the scm-commits
mailing list