../ curry-tools-source_2.0.1-1_all.deb 11-Sep-2025 18:10 243984 curry-tools-source_2.2.0-1_all.deb 03-Sep-2025 17:49 300128 curry-tools-source_3.3.0-2_all.deb 04-Sep-2025 21:35 323100