From b27c758f7f6be3a926183307fc0fdaf1ac457bff Mon Sep 17 00:00:00 2001 From: =?utf8?q?Jan=20R=C4=99korajski?= Date: Wed, 30 Apr 2014 19:53:04 +0200 Subject: [PATCH] - updated to 0.83 --- why3.spec | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/why3.spec b/why3.spec index d1e2dc0..d224e16 100644 --- a/why3.spec +++ b/why3.spec @@ -1,14 +1,14 @@ Summary: Software verification platform Name: why3 -Version: 0.73 -Release: 2 +Version: 0.83 +Release: 1 Group: Applications License: LGPLv2 with exceptions -Source0: https://gforge.inria.fr/frs/download.php/31257/%{name}-%{version}.tar.gz -# Source0-md5: 8994f147b7fc4084da46e81693e044bb +Source0: https://gforge.inria.fr/frs/download.php/33490/%{name}-%{version}.tar.gz +# Source0-md5: 35f99e5f64939e50ea57f641ba2073ec URL: http://why3.lri.fr/ BuildRequires: camlp5 -BuildRequires: coq +BuildRequires: coq >= 8.4 BuildRequires: evince BuildRequires: gtksourceview2-devel BuildRequires: ocaml @@ -17,6 +17,7 @@ BuildRequires: ocaml-graph-devel BuildRequires: ocaml-lablgtk2-devel BuildRequires: ocaml-lablgtk2-gtksourceview2-devel BuildRequires: ocaml-sqlite-devel +BuildRequires: ocaml-zarith-devel BuildRequires: rubber BuildRequires: sqlite3-devel Requires: gtksourceview2 @@ -69,7 +70,7 @@ rm -rf $RPM_BUILD_ROOT %doc LICENSE README doc/manual.pdf %attr(755,root,root) %{_bindir}/%{name}* %{_datadir}/%{name} -%{_datadir}/gtksourceview-2.0/language-specs/why.lang +%{_datadir}/gtksourceview-2.0/language-specs/why3.lang %{_libdir}/%{name} %files examples -- 2.43.0