../ libghc-data-binary-ieee754-dev_0.4.4-10build2_a..> 18-Dec-2022 13:03 22116 libghc-data-binary-ieee754-doc_0.4.4-10build2_a..> 18-Dec-2022 13:10 28512 libghc-data-binary-ieee754-prof_0.4.4-10build2_..> 18-Dec-2022 12:37 17072