../ libghc-intervals-dev_0.9.2-2_arm64.deb 07-Nov-2023 12:51 302776 libghc-intervals-dev_0.9.2-2_armhf.deb 07-Nov-2023 14:21 340374 libghc-intervals-doc_0.9.2-2_all.deb 07-Nov-2023 12:51 95070 libghc-intervals-prof_0.9.2-2_arm64.deb 07-Nov-2023 12:51 351546 libghc-intervals-prof_0.9.2-2_armhf.deb 07-Nov-2023 14:21 383286