Index of /pub/os/linux/ubuntu/pool/universe/c/curry-tools/

Filename	Modification time	Size
curry-tools-source_2.0.1-1_all.deb	2018-02-09 18:31 CET	238 KiB
curry-tools-source_2.2.0-1_all.deb	2019-11-18 18:13 CET	293 KiB
curry-tools-source_3.3.0-2_all.deb	2021-02-05 06:34 CET	316 KiB
curry-tools_2.0.1-1.debian.tar.xz	2018-02-09 18:30 CET	3464 B
curry-tools_2.0.1-1.dsc	2018-02-09 18:30 CET	2088 B
curry-tools_2.0.1.orig.tar.gz	2018-02-09 18:30 CET	415 KiB
curry-tools_2.2.0-1.debian.tar.xz	2019-11-18 18:13 CET	3896 B
curry-tools_2.2.0-1.dsc	2019-11-18 18:13 CET	2082 B
curry-tools_2.2.0.orig.tar.gz	2019-11-18 18:13 CET	527 KiB
curry-tools_3.3.0-2.debian.tar.xz	2021-02-05 06:19 CET	3968 B
curry-tools_3.3.0-2.dsc	2021-02-05 06:19 CET	2082 B
curry-tools_3.3.0.orig.tar.gz	2021-02-05 06:19 CET	582 KiB