../ curry-frontend_2.0.0-2.debian.tar.xz 31-Oct-2025 09:23 8724 curry-frontend_2.0.0-2.dsc 31-Oct-2025 09:23 3203 curry-frontend_2.0.0-2_amd64.deb 31-Oct-2025 09:23 1399500 curry-frontend_2.0.0.orig.tar.gz 31-Oct-2025 09:23 417121 libghc-curry-frontend-dev_2.0.0-2_amd64.deb 31-Oct-2025 09:23 4099988 libghc-curry-frontend-doc_2.0.0-2_all.deb 31-Oct-2025 09:23 1393012 libghc-curry-frontend-prof_2.0.0-2_amd64.deb 31-Oct-2025 09:23 3704120