[packages/why3] - updated BRs

[baggins]

commit 6c13c3190c146c184b84c6f234dfcbbb32055819
Author: Jan Rękorajski <baggins at pld-linux.org>
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