[coq] Happy New Year to me again!

Jerry James jjames at fedoraproject.org
Sat Jan 7 17:44:55 UTC 2012


commit caf40733597468705f13652b7e74e38424ac2159
Author: Jerry James <loganjerry at gmail.com>
Date:   Sat Jan 7 10:44:40 2012 -0700

    Happy New Year to me again!

 coq.spec |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
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 <loganjerry at gmail.com> - 8.3pl3-2
+* Sat Jan  7 2012 Jerry James <loganjerry at gmail.com> - 8.3pl3-2
 - Rebuild for Ocaml 3.12.1
 
 * Tue Dec 27 2011 Jerry James <loganjerry at gmail.com> - 8.3pl3-1


More information about the scm-commits mailing list