../ hoogle_5.0.18.3+dfsg1-1+b3_riscv64.deb 10-Apr-2023 11:37 9956868 libghc-hoogle-dev_5.0.18.3+dfsg1-1+b3_riscv64.deb 10-Apr-2023 11:49 2452280 libghc-hoogle-doc_5.0.18.3+dfsg1-1_all.deb 10-Apr-2023 11:48 249884 libghc-hoogle-prof_5.0.18.3+dfsg1-1+b3_riscv64.deb 10-Apr-2023 11:52 2298268