[coq/f16] (2 commits) ...Remove unused patch.

Jerry James jjames at fedoraproject.org
Thu Oct 27 22:35:31 UTC 2011


Summary of changes:

  b486518... Rebuild for new ocaml-camlp5; patch for bz 691913 no longer (*)
  8b34713... Remove unused patch. (*)

(*) This commit already existed in another branch; no separate mail sent


More information about the scm-commits mailing list