On Wednesday, 30 October 2019 at 14:48:23 UTC, bioinfornatics wrote: > so which version should I used to be compatible with > libgtksourceview-3 (I use centos 7) When Mike Wey gets back in town (any day now) he should be able to provide a solution that's less of a kludge.