../ libghc-data-binary-ieee754-dev_0.4.4-10_amd64.deb 29-Oct-2020 14:18 25228 libghc-data-binary-ieee754-dev_0.4.4-10_arm64.deb 29-Oct-2020 14:18 29340 libghc-data-binary-ieee754-doc_0.4.4-10_all.deb 29-Oct-2020 14:18 39904 libghc-data-binary-ieee754-prof_0.4.4-10_amd64.deb 29-Oct-2020 14:18 21332 libghc-data-binary-ieee754-prof_0.4.4-10_arm64.deb 29-Oct-2020 14:18 24064