../ libghc-smallcheck-dev_1.2.1-1+b3_riscv64.deb 10-Apr-2023 11:37 417760 libghc-smallcheck-doc_1.2.1-1_all.deb 10-Apr-2023 11:44 117596 libghc-smallcheck-prof_1.2.1-1+b3_riscv64.deb 10-Apr-2023 11:25 409112