../ libghc-ieee754-dev_0.8.0-4_amd64.deb 29-Oct-2020 14:19 72372 libghc-ieee754-dev_0.8.0-4_arm64.deb 29-Oct-2020 14:19 79420 libghc-ieee754-doc_0.8.0-4_all.deb 29-Oct-2020 14:19 61012 libghc-ieee754-prof_0.8.0-4_amd64.deb 29-Oct-2020 14:19 61344 libghc-ieee754-prof_0.8.0-4_arm64.deb 29-Oct-2020 14:19 65488