../ libghc-semigroupoids-dev_5.3.7-2_amd64.deb 16-May-2025 02:06 471254 libghc-semigroupoids-doc_5.3.7-2_all.deb 16-May-2025 01:45 181570 libghc-semigroupoids-prof_5.3.7-2_amd64.deb 16-May-2025 02:16 479776