../ libisl-static_0.25_aarch64.deb 17-Nov-2022 15:56 560K libisl-static_0.25_arm.deb 17-Nov-2022 15:56 487K libisl-static_0.25_i686.deb 17-Nov-2022 15:56 554K libisl-static_0.25_x86_64.deb 17-Nov-2022 15:56 556K