Index of /debian/pool/main/i/isl/

../
isl_0.23-1.debian.tar.xz                           24-Nov-2020 15:05               26044
isl_0.23-1.dsc                                     24-Nov-2020 15:05                1832
isl_0.23.orig.tar.xz                               17-Nov-2020 18:47             1729656
libisl-dev_0.23-1_amd64.deb                        24-Nov-2020 15:40              853980
libisl23_0.23-1_amd64.deb                          24-Nov-2020 15:40              676376