../ ghc-doc_7.10.3-7_all.deb 11-May-2017 04:56 12200518 ghc-prof_7.10.3-7_mips64el.deb 30-Aug-2018 21:08 45665286 ghc_7.10.3-7.debian.tar.xz 01-Oct-2018 22:01 47668 ghc_7.10.3-7.dsc 01-Oct-2018 22:01 1445 ghc_7.10.3-7_mips64el.deb 11-May-2017 04:56 53226294 ghc_7.10.3.orig.tar.xz 01-Oct-2018 22:01 11731468