../ libghc-hedgehog-dev_0.6-3+b1_armhf.deb 22-Jul-2020 15:17 760524 libghc-hedgehog-doc_0.6-3_all.deb 22-Jul-2020 15:37 242956 libghc-hedgehog-prof_0.6-3+b1_armhf.deb 22-Jul-2020 14:22 697412