[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