../ isl-0.21-1-mingw32-dev.tar.xz 12-Jan-2020 18:21 827688 isl-0.21-1-mingw32-dev.tar.xz.sig 12-Jan-2020 18:20 587 isl-0.21-1-mingw32-doc.tar.xz 12-Jan-2020 18:20 472944 isl-0.21-1-mingw32-doc.tar.xz.sig 12-Jan-2020 18:20 587 isl-0.21-1-mingw32-lic.tar.xz 12-Jan-2020 18:20 1764 isl-0.21-1-mingw32-lic.tar.xz.sig 12-Jan-2020 18:20 587 isl-0.21-1-mingw32-src.tar.xz 12-Jan-2020 18:20 1636832 isl-0.21-1-mingw32-src.tar.xz.sig 12-Jan-2020 18:20 587