Index of /pub/gwdg/ubuntu/22.04/pool/main/i/isl/

../
libisl-dev_0.24-2build1_amd64.deb                  24-Mar-2022 16:58             1052372
libisl-dev_0.24-2build1_i386.deb                   24-Mar-2022 17:02             1088516
libisl23_0.24-2build1_amd64.deb                    24-Mar-2022 16:58              726854
libisl23_0.24-2build1_i386.deb                     24-Mar-2022 17:02              750524