../ curry-frontend_2.0.0-2.debian.tar.xz 05-Feb-2021 08:03 8724 curry-frontend_2.0.0-2.dsc 05-Feb-2021 08:03 3203 curry-frontend_2.0.0-2_armhf.deb 10-Feb-2021 19:08 1M curry-frontend_2.0.0.orig.tar.gz 05-Feb-2021 00:09 407K libghc-curry-frontend-dev_2.0.0-2_armhf.deb 10-Feb-2021 19:08 4M libghc-curry-frontend-doc_2.0.0-2_all.deb 05-Feb-2021 08:43 1M libghc-curry-frontend-prof_2.0.0-2_armhf.deb 10-Feb-2021 19:08 4M