../ libghc-semigroupoids-dev_5.3.7-2_arm64.deb 09-Nov-2023 16:59 514104 libghc-semigroupoids-dev_5.3.7-2_armhf.deb 10-Nov-2023 09:06 555244 libghc-semigroupoids-doc_5.3.7-2_all.deb 09-Nov-2023 16:59 181570 libghc-semigroupoids-prof_5.3.7-2_arm64.deb 09-Nov-2023 16:59 571508 libghc-semigroupoids-prof_5.3.7-2_armhf.deb 10-Nov-2023 09:06 614028