../ libghc-ieee754-doc_0.8.0-3_all.deb 01-Oct-2018 00:55 58680 libghc-ieee754-doc_0.8.0-4_all.deb 14-Jun-2020 12:13 61012 libghc-ieee754-doc_0.8.0-5_all.deb 29-Jun-2022 19:59 61840 libghc-ieee754-doc_0.8.0-7_all.deb 14-Sep-2024 21:42 61624