Caio Filippo Corro <caio.co...@gmail.com> writes: > Hello, > > I want to install godi-lablgtksourceview in order to use why3ide. The package > have > an old dependency which is not available anymore. A ticket was created a long > time > ago : https://godirepo.camlcity.org/tracker/mantis-ro/view.php?id=218
You shouldn't use this package. What you need to do is re-compile lablgtk2 and make sure gtksourceview2 is available as part of this compilation (it will tell you when you configure it). Hope this helps, Alan _______________________________________________ Godi-list mailing list Godi-list@ocaml-programming.de https://godirepo.camlcity.org/mailman/listinfo/godi-list