Jeremy Bicha wrote: > On Sun, Oct 21, 2018 at 5:07 PM Yavor Doganov <ya...@gnu.org> wrote: > > This is slightly confusing to me; there is src:gtksourceview3 but I > > cannot find src:gtksourceview4. > > Here are some links: > https://tracker.debian.org/pkg/gtksourceview4
I feel stupid right now; I typed "gtksourceview" in the "Jump to package..." box at tracker.d.o and it didn't show gtksourceview4; I should have tried the obvious shell commands before jumping to the wrong conclusions. > We don't intend to remove gtksourceview 3 from Debian Buster but it > would be nice if it could be removed in time for the release after > that (Bullseye). So I deduce that porting from 2 straight to 4 is preferable. Thanks.