| Parent directory/ | - | - |
| libghc-ieee754-dev_0.8.0-4+b1_amd64.deb | 72628 | 2020-Aug-14 00:28 |
| libghc-ieee754-dev_0.8.0-5+b2_amd64.deb | 68000 | 2022-Sep-25 14:42 |
| libghc-ieee754-dev_0.8.0-7+b1_amd64.deb | 61568 | 2025-Feb-01 17:11 |
| libghc-ieee754-doc_0.8.0-4_all.deb | 61012 | 2020-Jun-14 12:13 |
| libghc-ieee754-doc_0.8.0-5_all.deb | 61840 | 2022-Jun-29 19:59 |
| libghc-ieee754-doc_0.8.0-7_all.deb | 61624 | 2024-Sep-14 21:42 |
| libghc-ieee754-prof_0.8.0-4+b1_amd64.deb | 61672 | 2020-Aug-14 00:28 |
| libghc-ieee754-prof_0.8.0-5+b2_amd64.deb | 57672 | 2022-Sep-25 14:42 |
| libghc-ieee754-prof_0.8.0-7+b1_amd64.deb | 54520 | 2025-Feb-01 17:11 |