../ libghc-configurator-dev_0.3.0.0-10+b1_riscv64.deb 10-Apr-2023 11:26 446008 libghc-configurator-doc_0.3.0.0-10_all.deb 10-Apr-2023 11:44 79636 libghc-configurator-prof_0.3.0.0-10+b1_riscv64.deb 10-Apr-2023 11:52 405360