../ libghc-semigroupoids-dev_5.3.7-1+b3_riscv64.deb 10-Apr-2023 11:45 771912 libghc-semigroupoids-doc_5.3.7-1_all.deb 10-Apr-2023 11:51 205912 libghc-semigroupoids-prof_5.3.7-1+b3_riscv64.deb 10-Apr-2023 11:39 756392