commit 6c13c3190c146c184b84c6f234dfcbbb32055819
Author: Jan Rękorajski <[email protected]>
Date: Tue May 14 13:37:33 2013 +0200
- updated BRs
why3.spec | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
---
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
================================================================
---- gitweb:
http://git.pld-linux.org/gitweb.cgi/packages/why3.git/commitdiff/6c13c3190c146c184b84c6f234dfcbbb32055819
_______________________________________________
pld-cvs-commit mailing list
[email protected]
http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
