../ ghc-7.6.0.20120810-i386-unknown-linux.tar.bz2 15-Feb-2019 10:17 126140844 ghc-7.6.0.20120810-x86_64-unknown-linux.tar.bz2 15-Feb-2019 10:17 125324248