../ ghc-mod-el_5.8.0.0-1_all.deb 07-Nov-2017 21:10 19156 ghc-mod_5.8.0.0-1.debian.tar.xz 05-Nov-2017 17:50 5652 ghc-mod_5.8.0.0-1.dsc 05-Nov-2017 17:50 4326 ghc-mod_5.8.0.0-1_i386.deb 07-Nov-2017 21:10 11362220 ghc-mod_5.8.0.0.orig.tar.gz 05-Nov-2017 17:50 141963