Package: release.debian.org Severity: normal User: release.debian.org@packages.debian.org Usertags: binnmu please binNMU starpu-contrib, using gcc-4.8 (>= 4.8.4-1) for the build, to bump the upper version dependency in libstarpu-contrib-dev. A separate issue is filed to remove this dependency altogether (#773897).