../ libghc-semigroupoids-dev_5.3.7-1_loong64.deb 02-Jul-2023 00:02 572368 libghc-semigroupoids-doc_5.3.7-1_all.deb 01-Jul-2023 16:00 204032 libghc-semigroupoids-prof_5.3.7-1_loong64.deb 02-Jul-2023 00:10 607396