../ libghc-numtype-dev_1.2-7+b1_arm64.deb 17-Jul-2023 17:53 52384 libghc-numtype-dev_1.2-7+b1_i386.deb 17-Jul-2023 18:09 53952 libghc-numtype-dev_1.2-7+b2_amd64.deb 17-Jul-2023 13:48 44152 libghc-numtype-doc_1.2-7_all.deb 17-Jul-2023 12:47 51848 libghc-numtype-prof_1.2-7+b1_arm64.deb 17-Jul-2023 19:15 46040 libghc-numtype-prof_1.2-7+b1_i386.deb 17-Jul-2023 20:25 41484 libghc-numtype-prof_1.2-7+b2_amd64.deb 17-Jul-2023 21:09 36200