SOURCES/doxygen-1.8.0.src.tar.gz

SOURCES/gcc-8.2.1-20180905.tar.xz

SOURCES/isl-0.16.1.tar.bz2

SOURCES/mpc-0.8.1.tar.gz