[why/f16: 3/3] Adapt changes in master to F16.
Jerry James
jjames at fedoraproject.org
Wed Jan 11 23:02:13 UTC 2012
commit 3d74c1e683db01b63b9c35be0f3fbc0e20983f02
Author: Jerry James <loganjerry at gmail.com>
Date: Wed Jan 11 16:01:36 2012 -0700
Adapt changes in master to F16.
why.spec | 7 ++-----
1 files changed, 2 insertions(+), 5 deletions(-)
---
diff --git a/why.spec b/why.spec
index 1ff7d47..c109ab9 100644
--- a/why.spec
+++ b/why.spec
@@ -20,7 +20,7 @@
Name: why
Version: 2.30
-Release: 5%{?dist}
+Release: 4%{?dist}
Summary: Software verification platform
Group: Applications/Engineering
@@ -438,12 +438,9 @@ diff -u min.why min_why.why.result # Show differences from correct result.
%changelog
-* Wed Jan 11 2012 Jerry James <loganjerry at gmail.com> - 2.30-5
+* Wed Jan 11 2012 Jerry James <loganjerry at gmail.com> - 2.30-4
- Patch to work with flocq 2.0.0
-* 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