../ curry-frontend_1.0.4-4_riscv64.deb 15-Aug-2023 07:57 4579456 libghc-curry-frontend-dev_1.0.4-4_riscv64.deb 15-Aug-2023 08:18 5194532 libghc-curry-frontend-prof_1.0.4-4_riscv64.deb 15-Aug-2023 08:08 4987448