- updated BRs
authorJan Rękorajski <baggins@pld-linux.org>
Tue, 14 May 2013 11:37:33 +0000 (13:37 +0200)
committerJan Rękorajski <baggins@pld-linux.org>
Tue, 14 May 2013 11:37:33 +0000 (13:37 +0200)
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
This page took 0.209508 seconds and 4 git commands to generate.