Index of /pool/main/i/isl/

../
isl_0.22.1-1.debian.tar.xz                         18-Feb-2020 23:23               25252
isl_0.22.1-1.dsc                                   18-Feb-2020 23:23                1860
isl_0.22.1.orig.tar.xz                             18-Feb-2020 23:23             1676948
libisl-dev_0.22.1-1_amd64.deb                      18-Feb-2020 23:33              689160
libisl22_0.22.1-1_amd64.deb                        18-Feb-2020 23:33              591960