../ libghc-hedgehog-dev_1.0.3-1_amd64.deb 19-Aug-2020 07:43 899324 libghc-hedgehog-doc_1.0.3-1_all.deb 19-Aug-2020 07:43 451888 libghc-hedgehog-prof_1.0.3-1_amd64.deb 19-Aug-2020 07:43 843496