[why3] Rebuild for coq 8.4.
Jerry James
jjames at fedoraproject.org
Thu Aug 23 18:05:09 UTC 2012
commit 772bf13052053b6631ae52492ffa1183f8d920d6
Author: Jerry James <jamesjer at betterlinux.com>
Date: Thu Aug 23 12:04:53 2012 -0600
Rebuild for coq 8.4.
why3.spec | 5 ++++-
1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/why3.spec b/why3.spec
index c625113..441d103 100644
--- a/why3.spec
+++ b/why3.spec
@@ -5,7 +5,7 @@
Name: why3
Version: 0.73
-Release: 1%{?dist}
+Release: 2%{?dist}
Summary: Software verification platform
License: LGPLv2 with exceptions
@@ -177,6 +177,9 @@ popd
%files all
%changelog
+* Thu Aug 23 2012 Jerry James <loganjerry at gmail.com> - 0.73-2
+- Rebuild for coq 8.4
+
* Thu Aug 2 2012 Jerry James <loganjerry at gmail.com> - 0.73-1
- New upstream release
More information about the scm-commits
mailing list