../ libghc-ieee754-dev_0.8.0-5+b2_amd64.deb 02-Aug-2023 18:44 68000 libghc-ieee754-doc_0.8.0-5_all.deb 02-Aug-2023 18:39 61840 libghc-ieee754-prof_0.8.0-5+b2_amd64.deb 02-Aug-2023 18:45 57672