From 1bf0371e26f5bd1de5eb97f7f3fa939e5084f33e Mon Sep 17 00:00:00 2001 From: =?utf8?q?Jan=20R=C4=99korajski?= Date: Sun, 16 Nov 2014 09:14:02 +0100 Subject: [PATCH] - rebuild with ocaml 4.02 - release 3 (by relup.sh) --- why3.spec | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/why3.spec b/why3.spec index 16e073b..7517b12 100644 --- a/why3.spec +++ b/why3.spec @@ -1,7 +1,7 @@ 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 -- 2.43.0