Skip to content

GitLab

why3
why3
Merged
Opened by François Bobot@bobot
Report abuse

Fix Gtksourceview3 detection with new opam package

lablgtk3-sourceview3 seems the new name of the ocamlfind package lablgtk3.sourceview3

Edited by François Bobot