[why3] Rebuild for coq 8.4pl4.
Jerry James
jjames at fedoraproject.org
Tue May 13 22:30:55 UTC 2014
commit 466dab8cf537406395253766ffa6f8d936540107
Author: Jerry James <jamesjer at betterlinux.com>
Date: Tue May 13 16:30:30 2014 -0600
Rebuild for coq 8.4pl4.
why3.spec | 5 ++++-
1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/why3.spec b/why3.spec
index a0eca8f..37517cd 100644
--- a/why3.spec
+++ b/why3.spec
@@ -8,7 +8,7 @@
Name: why3
Version: 0.83
-Release: 5%{?dist}
+Release: 6%{?dist}
Summary: Software verification platform
# See LICENSE for the terms of the exception
@@ -234,6 +234,9 @@ mktexlsr &> /dev/null || :
%files all
%changelog
+* Tue May 13 2014 Jerry James <loganjerry at gmail.com> - 0.83-6
+- Rebuild for coq 8.4pl4
+
* Mon Apr 21 2014 Jerry James <loganjerry at gmail.com> - 0.83-5
- Rebuild for flocq 2.3.0 and ocamlgraph 1.8.5
- Drop unnecessary sqlite-devel BR
More information about the scm-commits
mailing list