[why] Rebuild for OCaml 4.00.0 official.

[Richard W.M. Jones]

commit 9497908b6a3befd09c1367f2adafb7ca300ae198
Author: Richard W.M. Jones <rjones at redhat.com>
Date:   Mon Jul 30 08:39:16 2012 +0100

    Rebuild for OCaml 4.00.0 official.

 why.spec |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/why.spec b/why.spec
index eaacfc4..72a5e3a 100644
--- a/why.spec
+++ b/why.spec
@@ -20,7 +20,7 @@
 
 Name:           why
 Version:        2.30
-Release:        6%{?dist}
+Release:        7%{?dist}
 Summary:        Software verification platform
 
 Group:          Applications/Engineering
@@ -438,6 +438,9 @@ diff -u min.why min_why.why.result  # Show differences from correct result.
 
 
 %changelog
+* Mon Jul 30 2012 Richard W.M. Jones <rjones at redhat.com> - 2.30-7
+- Rebuild for OCaml 4.00.0 official.
+
 * Sun Jul 22 2012 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 2.30-6
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild