SOURCES/doxygen-1.8.0.src.tar.gz

SOURCES/gcc-10.2.1-20210130.tar.xz

SOURCES/gmp-6.1.0.tar.bz2

SOURCES/isl-0.16.1.tar.bz2

SOURCES/mpc-1.0.3.tar.gz

SOURCES/mpfr-3.1.4.tar.bz2