../ gcc-12.2.0.tar.xz 23-Oct-2023 23:04 84645292 gmp-6.2.1.tar.xz 23-Oct-2023 23:04 2027316 gmp-6.2.1.tar.xz.part 23-Oct-2023 23:04 0 isl-0.24.tar.bz2 23-Oct-2023 23:04 2261594 isl-0.24.tar.bz2.part 23-Oct-2023 23:04 0 mpc-1.2.1.tar.gz 23-Oct-2023 23:04 838731 mpc-1.2.1.tar.gz.part 23-Oct-2023 23:04 0 mpfr-4.1.0.tar.xz 23-Oct-2023 23:04 1525476 mpfr-4.1.0.tar.xz.part 23-Oct-2023 23:04 0