use-Debian-java-libs.patch
glShaderSource.patch
sdl-debian.patch
