Bug#751545: This is the glamor missing bug

For a unknown reason, the radeon maintainer does not build glamor and does not enable it in the driver, but will be forced to do so with 1.16. Look at other bug with glamor in the title. In debian any recent AMD graphic card is unaccelerated because of this. Taking ubuntu package and recomp

mesa: Changes to 'debian-experimental'

VERSION | 2 configure.ac| 1 debian/changelog| 8 debian/patches/01_glapi-Duplicate-GLES1-

mesa: Changes to 'upstream-experimental'

VERSION |2 configure.ac |1 docs/index.html |7 + docs/relnotes/10.2.html |6 - src/egl/main

Bug#751626: xorg-server: XkbDfltAccessXOptions declared with types of different size

Package: xorg-server Version: 2:1.15.1-1 Usertags: goto-cc During a rebuild of all Debian packages in a clean sid chroot (using cowbuilder and pbuilder) the build failed with the following error. Please note that we use our research compiler tool-chain (using tools from the cbmc package), which pe

Bug#751628: xserver-xorg-video-sisusb: Conflicting declarations of function SiSUSBRegInit to cause undefined behaviour

Package: xserver-xorg-video-sisusb Version: 1:0.9.6-2 Usertags: goto-cc During a rebuild of all Debian packages in a clean sid chroot (using cowbuilder and pbuilder) the build failed with the following error. Please note that we use our research compiler tool-chain (using tools from the cbmc packa

Bug#751629: xserver-xorg-video-vmware: Conflicting declarations of function MakeAtom to cause undefined behaviour

Package: xserver-xorg-video-vmware Version: 1:13.0.2-3 Usertags: goto-cc During a rebuild of all Debian packages in a clean sid chroot (using cowbuilder and pbuilder) the build failed with the following error. Please note that we use our research compiler tool-chain (using tools from the cbmc pack