Adapt changes in master to F16.

2012-01-11 16:01:36 -07:00
1 changed files with 2 additions and 5 deletions
--- 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@gmail.com> - 2.30-5
+* Wed Jan 11 2012 Jerry James <loganjerry@gmail.com> - 2.30-4
 - Patch to work with flocq 2.0.0

-* Tue Dec 27 2011 Jerry James <loganjerry@gmail.com> - 2.30-4
- Rebuild for coq 8.3pl3
-
 * Tue Dec  6 2011 Jerry James <loganjerry@gmail.com> - 2.30-3
 - Update alt_ergo and yices "okay" version numbers