diff --git a/coq.spec b/coq.spec index 0a20bbe..aabad20 100644 --- a/coq.spec +++ b/coq.spec @@ -337,7 +337,7 @@ mktexlsr &> /dev/null %{_xemacs_sitelispdir}/coq/*.el %changelog -* Sat Jan 7 2011 Jerry James - 8.3pl3-2 +* Sat Jan 7 2012 Jerry James - 8.3pl3-2 - Rebuild for Ocaml 3.12.1 * Tue Dec 27 2011 Jerry James - 8.3pl3-1