../ ghc-8.0.1-dyn_8.0.1-13~deb8_amd64.deb 17-Feb-2019 01:14 2938 ghc-8.0.1-htmldocs_8.0.1-13~deb8_amd64.deb 17-Feb-2019 01:14 9637790 ghc-8.0.1-prof_8.0.1-13~deb8_amd64.deb 17-Feb-2019 01:14 33710028 ghc-8.0.1_8.0.1-13~deb8_amd64.deb 17-Feb-2019 01:14 48531044