[coq] Bump release and rebuild.
Richard W.M. Jones
rjones at fedoraproject.org
Sat Aug 30 20:42:28 UTC 2014
commit 082fabbd366cac96d52a57eb7deebc1af358517c
Author: Richard W.M. Jones <rjones at redhat.com>
Date: Sat Aug 30 21:42:30 2014 +0100
Bump release and rebuild.
coq.spec | 5 ++++-
1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/coq.spec b/coq.spec
index e473609..f622e88 100644
--- a/coq.spec
+++ b/coq.spec
@@ -18,7 +18,7 @@
Name: coq
Version: 8.4pl4
-Release: 16%{?dist}
+Release: 17%{?dist}
Summary: Proof management system
License: LGPLv2
@@ -321,6 +321,9 @@ mktexlsr &> /dev/null
%{_emacs_sitelispdir}/coq/*.el
%changelog
+* Sat Aug 30 2014 Richard W.M. Jones <rjones at redhat.com> - 8.4pl4-17
+- Bump release and rebuild.
+
* Sat Aug 30 2014 Richard W.M. Jones <rjones at redhat.com> - 8.4pl4-16
- Bump release and rebuild.
- Fix to int types in OCaml > 4.02.0 and Fedora.
More information about the scm-commits
mailing list