../ ghc-8.10.4-i386-deb9-linux.tar.xz 27-Jul-2021 10:48 215689536 ghc-8.10.4-x86_64-deb9-linux.tar.xz 27-Jul-2021 10:48 216465048