From: Jan Rękorajski Date: Tue, 14 May 2013 11:37:33 +0000 (+0200) Subject: - updated BRs X-Git-Tag: auto/th/why3-0.73-1~1 X-Git-Url: http://git.pld-linux.org/?p=packages%2Fwhy3.git;a=commitdiff_plain;h=6c13c31 - updated BRs --- diff --git a/why3.spec b/why3.spec index 5802a08..3d1f1c7 100644 --- a/why3.spec +++ b/why3.spec @@ -15,7 +15,8 @@ BuildRequires: gtksourceview2-devel BuildRequires: ocaml BuildRequires: ocaml-findlib-devel BuildRequires: ocaml-graph-devel -BuildRequires: ocaml-lablgtk-devel +BuildRequires: ocaml-lablgtk2-devel +BuildRequires: ocaml-lablgtk2-gtksourceview2-devel BuildRequires: ocaml-sqlite-devel BuildRequires: rubber BuildRequires: sqlite3-devel