From ab647362c03e8fb935f9e19c5f0b780769fd412a Mon Sep 17 00:00:00 2001 From: =?utf8?q?Jan=20R=C4=99korajski?= Date: Tue, 6 Jun 2017 09:21:32 +0200 Subject: [PATCH] - up to 0.87.3 --- why3.spec | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/why3.spec b/why3.spec index 33db0d4..8a2e86b 100644 --- a/why3.spec +++ b/why3.spec @@ -1,11 +1,11 @@ Summary: Software verification platform Name: why3 -Version: 0.83 -Release: 6 +Version: 0.87.3 +Release: 0.1 Group: Applications License: LGPLv2 with exceptions -Source0: https://gforge.inria.fr/frs/download.php/33490/%{name}-%{version}.tar.gz -# Source0-md5: 35f99e5f64939e50ea57f641ba2073ec +Source0: https://gforge.inria.fr/frs/download.php/36398/%{name}-%{version}.tar.gz +# Source0-md5: ea24a4877ca09e2ec4fff19d5f4d35c6 URL: http://why3.lri.fr/ BuildRequires: camlp5 BuildRequires: coq >= 8.4 @@ -16,6 +16,8 @@ BuildRequires: ocaml-findlib-devel BuildRequires: ocaml-graph-devel BuildRequires: ocaml-lablgtk2-devel BuildRequires: ocaml-lablgtk2-gtksourceview2-devel +BuildRequires: ocaml-menhir +BuildRequires: ocaml-menhir-devel BuildRequires: ocaml-sqlite-devel BuildRequires: ocaml-zarith-devel BuildRequires: rubber -- 2.43.0