From 6c13c3190c146c184b84c6f234dfcbbb32055819 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Jan=20R=C4=99korajski?= Date: Tue, 14 May 2013 13:37:33 +0200 Subject: [PATCH] - 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 -- 2.43.0