SHA512 (isl-0.14.tar.xz) = cf43868d466d6ff08c5e15345d222ad153e8c4e86831f9854df716eb914c6c15f4c44b73aa6e0b16eb556d1a4d3c26af6f71e85421bf464cbbd053d5f3c515ee
SHA512 (cloog-0.18.3.tar.gz) = e1bb557b69d38dde7a6b7acde661005bec2c3b5ffa75df32514bff70c8bfe6a12befe24c0448b85e87cf818f3a83cdec2b54066592b7d300c818611085ce17fb
SHA512 (gcc-6.3.1-20170118.tar.bz2) = a2c6261687dc44e980c81c3be04162873195f7e5ed3ceacdde0544f6e4f2d081eef12fe5f73f2f5ac7007dbd823c0e6d1ff5a5e0e7135c46fcc30efce3960def
SHA512 (ghdl.20170926git685526e.tar.bz2) = 96bec639a6a05a80dd2fad0c084b41fb18db41271c4ef2bd30d87b09205eabdd3e5d1e323629f812d2acde4575f2b9a8b5e2e8c2db0653a6f3d0085d2c2c29b5