[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