../ curry-tools-source_2.0.1-1_all.deb 21-Mar-2025 18:16 243984 curry-tools-source_2.2.0-1_all.deb 21-Mar-2025 18:16 300128 curry-tools_2.0.1-1.debian.tar.xz 21-Mar-2025 18:16 3464 curry-tools_2.0.1-1.dsc 21-Mar-2025 18:16 2088 curry-tools_2.0.1.orig.tar.gz 21-Mar-2025 18:16 425094 curry-tools_2.2.0-1.debian.tar.xz 21-Mar-2025 18:16 3896 curry-tools_2.2.0-1.dsc 21-Mar-2025 18:16 2082 curry-tools_2.2.0.orig.tar.gz 21-Mar-2025 18:16 540014