isl_0.27-1.debian.tar.xz
isl_0.27-1.dsc
isl_0.27.orig.tar.xz
libisl-dev_0.27-1+b1_amd64.deb
libisl-dev_0.27-1+b1_i386.deb
libisl23_0.27-1+b1_amd64.deb
libisl23_0.27-1+b1_i386.deb