Package: src:gcc-snapshot Version: 1:20180713-1 Severity: important [...] aarch64-linux-gnu-gnatlink-7: Couldn't locate aarch64-linux-gnu-gcc-7-7 aarch64-linux-gnu-gnatmake: *** link failed. https://buildd.debian.org/status/fetch.php?pkg=gcc-snapshot&arch=arm64&ver=1%3A20180713-1&stamp=1531476058&raw=0 We have this back again ... let's try to fix that properly ...