]> git.pld-linux.org Git - packages/why3.git/commitdiff
projects / packages / why3.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 56491d8)
- 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 patch | blob | blame | history

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
Software verification platform
This page took 0.033981 seconds and 4 git commands to generate.