../ ghc-mod-el_5.4.0.0-1build1_all.deb 28-May-2020 21:32 19008 ghc-mod-el_5.8.0.0-1_all.deb 28-May-2020 18:08 19156 ghc-mod_5.4.0.0-1build1_amd64.deb 28-May-2020 21:48 8456844 ghc-mod_5.8.0.0-1_amd64.deb 28-May-2020 18:07 11427124