../ ghc-8.4.2-dbgsym_8.4.2-7~deb9_amd64.deb 17-Feb-2019 01:13 9186538 ghc-8.4.2-dyn_8.4.2-7~deb9_amd64.deb 17-Feb-2019 01:13 2266 ghc-8.4.2-htmldocs_8.4.2-7~deb9_amd64.deb 17-Feb-2019 01:13 12702796 ghc-8.4.2-prof_8.4.2-7~deb9_amd64.deb 17-Feb-2019 01:13 44571284 ghc-8.4.2_8.4.2-7~deb9_amd64.deb 17-Feb-2019 01:13 68721662