SOURCES/doxygen-1.8.0.src.tar.gz
SOURCES/gcc-7.3.1-20180303.tar.bz2
SOURCES/isl-0.16.1.tar.bz2
SOURCES/mpc-0.8.1.tar.gz