commit c69f4439fc8ef18df8da06d71b7044e4a1c0aff3 Author: Jan Rękorajski <bagg...@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 _______________________________________________ pld-cvs-commit mailing list pld-cvs-commit@lists.pld-linux.org http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit