[why] Rebuild for coq 8.3pl3.
Jerry James
jjames at fedoraproject.org
Tue Dec 27 19:56:16 UTC 2011
commit 91ee4476af9b58fa5aaf8849d2cdb9da6b49ed79
Author: Jerry James <loganjerry at gmail.com>
Date: Tue Dec 27 12:56:02 2011 -0700
Rebuild for coq 8.3pl3.
why.spec | 5 ++++-
1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/why.spec b/why.spec
index 0f0e627..be67c73 100644
--- a/why.spec
+++ b/why.spec
@@ -20,7 +20,7 @@
Name: why
Version: 2.30
-Release: 3%{?dist}
+Release: 4%{?dist}
Summary: Software verification platform
Group: Applications/Engineering
@@ -434,6 +434,9 @@ diff -u min.why min_why.why.result # Show differences from correct result.
%changelog
+* Tue Dec 27 2011 Jerry James <loganjerry at gmail.com> - 2.30-4
+- Rebuild for coq 8.3pl3
+
* Tue Dec 6 2011 Jerry James <loganjerry at gmail.com> - 2.30-3
- Update alt_ergo and yices "okay" version numbers
More information about the scm-commits
mailing list