../ libghc-ieee754-dev_0.7.6-6_amd64.deb 14-Jan-2021 22:29 54850 libghc-ieee754-dev_0.8.0-1_amd64.deb 14-Jan-2021 23:12 72734 libghc-ieee754-doc_0.7.6-6_all.deb 14-Jan-2021 22:39 29178 libghc-ieee754-doc_0.8.0-1_all.deb 14-Jan-2021 23:07 30242 libghc-ieee754-prof_0.7.6-6_amd64.deb 14-Jan-2021 22:35 42824 libghc-ieee754-prof_0.8.0-1_amd64.deb 14-Jan-2021 23:17 60508