../ hoogle_5.0.17.3+dfsg1-5+b1_armhf.deb 22-Jul-2020 14:30 4908052 libghc-hoogle-dev_5.0.17.3+dfsg1-5+b1_armhf.deb 22-Jul-2020 16:46 1002940 libghc-hoogle-doc_5.0.17.3+dfsg1-5_all.deb 22-Jul-2020 16:54 161416 libghc-hoogle-prof_5.0.17.3+dfsg1-5+b1_armhf.deb 22-Jul-2020 15:06 905660