../ ghc-doc_8.0.1-17_all.deb 29-Jul-2017 12:31 11M ghc-prof_8.0.1-17_mips64el.deb 29-Jul-2017 12:30 44M ghc_8.0.1-17.debian.tar.xz 29-Jul-2017 12:29 52K ghc_8.0.1-17.dsc 29-Jul-2017 12:29 2522 ghc_8.0.1-17_mips64el.deb 29-Jul-2017 12:29 60M ghc_8.0.1.orig.tar.xz 29-Jul-2017 12:29 10M