[why] Bump and rebuild for OCaml 3.12.

[Richard W.M. Jones]

commit cacf822e7c4b3cd389c9eaf11b70cff1ca6cbfb1
Author: Richard W.M. Jones <rjones at redhat.com>
Date:   Fri Jan 21 17:53:34 2011 +0000

    Bump and rebuild for OCaml 3.12.

 why.spec |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/why.spec b/why.spec
index 4996a58..bdf6d50 100644
--- a/why.spec
+++ b/why.spec
@@ -1,6 +1,6 @@
 Name:           why
 Version:        2.26
-Release:        1%{?dist}
+Release:        2%{?dist}
 Summary:        Software verification platform
 
 Group:          Applications/Engineering
@@ -328,6 +328,9 @@ sed -e "/ENABLE_JESSIE=yes/d" -i /usr/share/frama-c/known_plugins.ac
 
 
 %changelog
+* Fri Jan 21 2011 Richard W.M. Jones <rjones at gmail.com> - 2.26-2
+- Bump and rebuild for OCaml 3.12.
+
 * Sat Oct 09 2010 David A. Wheeler + Mark Rader <dwheeler at dwheeler.com> - 2.26-1
 - Upgrade to upstream version 2.26 (inc. update of krakatoa.pdf)
 - Integrated with Frama-C and PVS (as pvs-sbcl)