Change debian/control to GTK 3.12.2