[why] Update alt_ergo and yices "okay" version numbers.

[Jerry James]

commit 9714017f133d7098aa3af826e62ae994480d83fd
Author: Jerry James <loganjerry at gmail.com>
Date:   Tue Dec 6 09:06:42 2011 -0700

    Update alt_ergo and yices "okay" version numbers.

 why.spec |    8 ++++++--
 1 files changed, 6 insertions(+), 2 deletions(-)
---
diff --git a/why.spec b/why.spec
index 4eb159e..0f0e627 100644
--- a/why.spec
+++ b/why.spec
@@ -20,7 +20,7 @@
 
 Name:           why
 Version:        2.30
-Release:        2%{?dist}
+Release:        3%{?dist}
 Summary:        Software verification platform
 
 Group:          Applications/Engineering
@@ -267,7 +267,8 @@ sed -e "s|-I +apron|-I +apron -I +mlgmpidl|" \
 
 # Update the version numbers of external programs
 # Also, command "pvs" is LVM2's /sbin/pvs, so rename "pvs" to pvs-sbcl:
-sed -e 's/versions_ok = \["1\.0\.25";.*\]/versions_ok = ["1.0.30"]/' \
+sed -e 's/versions_ok = \["0\.93"\]/versions_ok = ["0.93";"0.94"]/' \
+    -e 's/versions_ok = \["1\.0\.25";.*\]/versions_ok = ["1.0.31"]/' \
     -e 's/versions_ok = \["2.2"\]/versions_ok = ["2.4.1"]/' \
     -e 's/versions_ok = \["8\.0";.*\]/versions_ok = ["8.3pl2"]/' \
     -e 's/versions_ok = \["4\.1"\]/versions_ok = ["5.0"]/' \
@@ -433,6 +434,9 @@ diff -u min.why min_why.why.result  # Show differences from correct result.
 
 
 %changelog
+* Tue Dec  6 2011 Jerry James <loganjerry at gmail.com> - 2.30-3
+- Update alt_ergo and yices "okay" version numbers
+
 * Wed Nov 23 2011 Jerry James <loganjerry at gmail.com> - 2.30-2
 - Rebuild with APRON and gappalib-coq support