../ ghc-doc_8.0.1-17_all.deb 24-Apr-2019 17:22 11M ghc-prof_8.0.1-17+b1_mips64el.deb 24-Apr-2019 17:22 44M ghc_8.0.1-17+b1_mips64el.deb 24-Apr-2019 17:22 61M ghc_8.0.1-17.debian.tar.xz 24-Apr-2019 17:22 52K ghc_8.0.1-17.dsc 24-Apr-2019 17:22 2522 ghc_8.0.1.orig.tar.xz 24-Apr-2019 17:22 10M