../ libghc-semigroupoids-dev_5.3.7-2_amd64.deb 02-Sep-2025 12:12 471254 libghc-semigroupoids-doc_5.3.7-2_all.deb 02-Sep-2025 12:12 181570 libghc-semigroupoids-prof_5.3.7-2_amd64.deb 02-Sep-2025 12:12 479776