../ curry-frontend_2.0.0-2.debian.tar.xz 04-Feb-2021 23:03 8724 curry-frontend_2.0.0-2.dsc 04-Feb-2021 23:03 3203 curry-frontend_2.0.0-2_armhf.deb 10-Feb-2021 10:08 1525756 curry-frontend_2.0.0.orig.tar.gz 04-Feb-2021 15:09 417121 libghc-curry-frontend-dev_2.0.0-2_armhf.deb 10-Feb-2021 10:08 4545124 libghc-curry-frontend-doc_2.0.0-2_all.deb 04-Feb-2021 23:43 1393012 libghc-curry-frontend-prof_2.0.0-2_armhf.deb 10-Feb-2021 10:08 4010988