[packages/why3] - rebuild with ocaml 4.04.1 - release 6 (by relup.sh)

[baggins]

commit c69f4439fc8ef18df8da06d71b7044e4a1c0aff3
Author: Jan Rękorajski <baggins at pld-linux.org>
Date:   Mon Jun 5 14:42:24 2017 +0200

    - rebuild with ocaml 4.04.1
    - release 6 (by relup.sh)

 why3.spec | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/why3.spec b/why3.spec
index 2ea96b2..33db0d4 100644
--- a/why3.spec
+++ b/why3.spec
@@ -1,7 +1,7 @@
 Summary:	Software verification platform
 Name:		why3
 Version:	0.83
-Release:	5
+Release:	6
 Group:		Applications
 License:	LGPLv2 with exceptions
 Source0:	https://gforge.inria.fr/frs/download.php/33490/%{name}-%{version}.tar.gz
================================================================

---- gitweb:

http://git.pld-linux.org/gitweb.cgi/packages/why3.git/commitdiff/c69f4439fc8ef18df8da06d71b7044e4a1c0aff3