[why3] Rebuild for coq 8.4pl1.

[Jerry James]

commit 2d6dc2138b025d3585bf2d98ff4d48d85190eaae
Author: Jerry James <jamesjer at betterlinux.com>
Date:   Mon Jan 7 14:23:53 2013 -0700

    Rebuild for coq 8.4pl1.

 why3.spec |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/why3.spec b/why3.spec
index 285ae2a..e24bac4 100644
--- a/why3.spec
+++ b/why3.spec
@@ -5,7 +5,7 @@
 
 Name:           why3
 Version:        0.73
-Release:        3%{?dist}
+Release:        4%{?dist}
 Summary:        Software verification platform
 
 License:        LGPLv2 with exceptions
@@ -180,6 +180,9 @@ popd
 %files all
 
 %changelog
+* Mon Jan  7 2013 Jerry James <loganjerry at gmail.com> - 0.73-4
+- Rebuild for coq 8.4pl1
+
 * Fri Dec 14 2012 Richard W.M. Jones <rjones at redhat.com> - 0.73-3
 - Rebuild for OCaml 4.00.1.