isl_0.10-3_amd64.changes uploaded successfully to localhost
along with the files:
isl_0.10-3.dsc
isl_0.10-3.debian.tar.gz
libisl-dev_0.10-3_amd64.deb
libisl-dbg_0.10-3_amd64.deb
libisl10_0.10-3_amd64.deb

Greetings,

Your Debian queue daemon (running on host franck.debian.org)


--
To UNSUBSCRIBE, email to debian-gcc-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
Archive: E1Snwcc-0001AV-Uw@franck.debian.org">http://lists.debian.org/E1Snwcc-0001AV-Uw@franck.debian.org