- updated BRs

[packages/why3.git] / why3.spec

diff --git a/why3.spec b/why3.spec
index 5802a08e5870bdb83a7d2d127ef3d79d033e021b..3d1f1c793a9f84895f5951beee8842494b1efe2c 100644 (file)
--- 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