And I'm pretty sure that debian stuff is out of date, because I switched from gtk to sdl2 some time ago, but the control file still mentions gtk. But I never u

And I'm pretty sure that debian stuff is out of date, because I switched from gtk to sdl2 some time ago, but the control file still mentions gtk. But I never use this debian stuff, so I didn't notice until now. Perhaps someone will fix it.