Accepted: isl_0.10-1.debian.tar.gz to main/i/isl/isl_0.10-1.debian.tar.gz isl_0.10-1.dsc to main/i/isl/isl_0.10-1.dsc isl_0.10.orig.tar.bz2 to main/i/isl/isl_0.10.orig.tar.bz2 libisl-dbg_0.10-1_amd64.deb to main/i/isl/libisl-dbg_0.10-1_amd64.deb libisl-dev_0.10-1_amd64.deb to main/i/isl/libisl-dev_0.10-1_amd64.deb libisl10_0.10-1_amd64.deb to main/i/isl/libisl10_0.10-1_amd64.deb Changes: isl (0.10-1) unstable; urgency=low . * New upstream release. Override entries for your package: isl_0.10-1.dsc - source libs libisl-dbg_0.10-1_amd64.deb - extra debug libisl-dev_0.10-1_amd64.deb - optional libdevel libisl10_0.10-1_amd64.deb - optional libs Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1skmjt-0000sb...@franck.debian.org