Commit 68596d45 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Fix opam dependencies for lablgtk3.

parent e97facc3
......@@ -46,8 +46,7 @@ depends: [
"ocaml" {>= "4.02.3"}
"ocamlfind" {build}
"why3"
("lablgtk" | "lablgtk3")
"conf-gtksourceview"
(("lablgtk" & "conf-gtksourceview") | ("lablgtk3" & "conf-gtksourceview3"))
]
conflicts: [
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment