- rebuild with ocaml 4.02

- release 3 (by relup.sh)

diff --git a/why3.spec b/why3.spec
index 16e073b165083d007ac9439f10f44bffe0788620..7517b1226fd07bc323f8a70c9b9f5f779f21f730 100644 (file)
--- a/why3.spec
+++ b/why3.spec
@@ -1,7 +1,7 @@
 Summary:       Software verification platform
 Name:          why3
 Version:       0.83
 Summary:       Software verification platform
 Name:          why3
 Version:       0.83

-Release:       2
+Release:       3

 Group:         Applications
 License:       LGPLv2 with exceptions
 Source0:       https://gforge.inria.fr/frs/download.php/33490/%{name}-%{version}.tar.gz
 Group:         Applications
 License:       LGPLv2 with exceptions
 Source0:       https://gforge.inria.fr/frs/download.php/33490/%{name}-%{version}.tar.gz