../ libghc-semigroupoids-dev_5.3.7-2_amd64.deb 09-Nov-2023 16:59 471254 libghc-semigroupoids-doc_5.3.7-2_all.deb 09-Nov-2023 16:59 181570 libghc-semigroupoids-prof_5.3.7-2_amd64.deb 09-Nov-2023 16:59 479776