Release 4 (by relup.sh)

diff --git a/why3.spec b/why3.spec
index 28833a5d1f2fe77203a107f24ddc2860d770db52..f8092b68a90f4e327fcfa152650deb8ee4fb42d5 100644 (file)
--- a/why3.spec
+++ b/why3.spec
@@ -1,7 +1,7 @@
 Summary:       Software verification platform
 Name:          why3
 Version:       1.4.0
-Release:       3
+Release:       4
 License:       LGPLv2 with exceptions
 Group:         Applications
 Source0:       https://gforge.inria.fr/frs/download.php/38425/%{name}-%{version}.tar.gz