../ ghc-doc_8.4.4+dfsg1-3+rpi1_all.deb 22-Jul-2020 15:24 14777968 ghc-prof_8.4.4+dfsg1-3+rpi1_armhf.deb 22-Jul-2020 16:28 58298284 ghc_8.4.4+dfsg1-3+rpi1_armhf.deb 22-Jul-2020 15:53 99242376