[why3/f20] Rebuild for coq 8.4pl4.
Jerry James
jjames at fedoraproject.org
Mon Jun 16 20:21:23 UTC 2014
commit 8ae50f0fc3a3cf06135f6c3698901efcf87729b8
Author: Jerry James <jamesjer at betterlinux.com>
Date: Mon Jun 16 14:21:11 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 b588196..614dde3 100644
--- a/why3.spec
+++ b/why3.spec
@@ -8,7 +8,7 @@
Name: why3
Version: 0.83
-Release: 4%{?dist}
+Release: 5%{?dist}
Summary: Software verification platform
# See LICENSE for the terms of the exception
@@ -237,6 +237,9 @@ mktexlsr &> /dev/null || :
%files all
%changelog
+* Tue May 13 2014 Jerry James <loganjerry at gmail.com> - 0.83-5
+- Rebuild for coq 8.4pl4
+
* Mon Apr 21 2014 Jerry James <loganjerry at gmail.com> - 0.83-4
- Rebuild for flocq 2.3.0 and ocamlgraph 1.8.5
More information about the scm-commits
mailing list