../ ghc-8.8.4-i386-deb9-linux.tar.xz 14-Jul-2020 17:12 210077656 ghc-8.8.4-x86_64-deb8-linux.tar.xz 14-Jul-2020 17:46 201047232