[coq] New upstream release.
Jerry James
jjames at fedoraproject.org
Tue Dec 27 19:46:44 UTC 2011
commit 74b0e5c86f2ea5b4f55cca05700e6f547300c466
Author: Jerry James <loganjerry at gmail.com>
Date: Tue Dec 27 12:45:49 2011 -0700
New upstream release.
.gitignore | 2 +-
coq.spec | 7 +++++--
sources | 2 +-
3 files changed, 7 insertions(+), 4 deletions(-)
---
diff --git a/.gitignore b/.gitignore
index 8a90ef7..61d951b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1 @@
-coq-8.3pl2.tar.gz
+/coq-8.3pl3.tar.gz
diff --git a/coq.spec b/coq.spec
index 5ac20db..7ae45c8 100644
--- a/coq.spec
+++ b/coq.spec
@@ -23,8 +23,8 @@
# however, this name is proper as per the Coq documentation
Name: coq
-Version: 8.3pl2
-Release: 4%{?dist}
+Version: 8.3pl3
+Release: 1%{?dist}
Summary: Proof management system
Group: Applications/Engineering
@@ -344,6 +344,9 @@ mktexlsr &> /dev/null
%{_xemacs_sitelispdir}/coq/*.el
%changelog
+* Tue Dec 27 2011 Jerry James <loganjerry at gmail.com> - 8.3pl3-1
+- New upstream release
+
* Tue Dec 06 2011 Adam Jackson <ajax at redhat.com> - 8.3pl2-4
- Rebuild for new libpng
diff --git a/sources b/sources
index 5516cd9..fada55b 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-db415f6c5372f5a443699c62f5affcb4 coq-8.3pl2.tar.gz
+37e9a52110a025128667c03fed75f9c2 coq-8.3pl3.tar.gz
More information about the scm-commits
mailing list