Bug#833579: gcc-mingw still b-d's on libcloog-isl-dev

[Matthias Klose]

Package: src:gcc-mingw-w64, src:gnat-mingw-w64

These source packages still b-d on libcloog-isl-dev, which is not used anymore.