../ libghc-hedgehog-dev_1.0.3-1build1_amd64.deb 02-Nov-2020 11:03 872K libghc-hedgehog-doc_1.0.3-1build1_all.deb 02-Nov-2020 11:03 425K libghc-hedgehog-prof_1.0.3-1build1_amd64.deb 02-Nov-2020 11:03 813K