../ libghc-semigroupoids-dev_5.3.7-1+b3_amd64.deb 15-Jan-2025 12:14 441612 libghc-semigroupoids-doc_5.3.7-1_all.deb 15-Jan-2025 12:20 205912 libghc-semigroupoids-prof_5.3.7-1+b3_amd64.deb 15-Jan-2025 12:18 435468