../ libghc-hedgehog-dev_0.6-3+b1_armhf.deb 03-Jan-2019 16:08 760524 libghc-hedgehog-dev_1.0.3-1+rpi1_armhf.deb 26-Oct-2020 09:50 1005572 libghc-hedgehog-doc_0.6-3_all.deb 16-Oct-2018 19:13 242956 libghc-hedgehog-doc_1.0.3-1+rpi1_all.deb 26-Oct-2020 09:50 450748 libghc-hedgehog-prof_0.6-3+b1_armhf.deb 03-Jan-2019 16:08 697412 libghc-hedgehog-prof_1.0.3-1+rpi1_armhf.deb 26-Oct-2020 09:50 920252