../ libghc-ieee754-dev_0.7.6-6_amd64.deb 16-Mar-2016 11:43 54850 libghc-ieee754-dev_0.8.0-1_amd64.deb 02-Oct-2018 09:29 72734 libghc-ieee754-doc_0.7.6-6_all.deb 16-Mar-2016 10:23 29178 libghc-ieee754-doc_0.8.0-1_all.deb 02-Oct-2018 09:48 30242 libghc-ieee754-prof_0.7.6-6_amd64.deb 16-Mar-2016 11:18 42824 libghc-ieee754-prof_0.8.0-1_amd64.deb 02-Oct-2018 09:21 60508