../ libghc-data-inttrie-dev_0.1.4-2+b2_armhf.deb 22-Jul-2020 16:04 38048 libghc-data-inttrie-doc_0.1.4-2_all.deb 22-Jul-2020 14:57 43376 libghc-data-inttrie-prof_0.1.4-2+b2_armhf.deb 22-Jul-2020 15:51 37028