../ libghc-semigroupoids-dev_5.3.7-2_amd64.deb 13-Jul-2026 11:23 471254 libghc-semigroupoids-doc_5.3.7-2_all.deb 13-Jul-2026 11:20 181570 libghc-semigroupoids-prof_5.3.7-2_amd64.deb 13-Jul-2026 11:08 479776