The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.

Index of /ubuntu-ports/pool/universe/c/curry-tools/


../
curry-tools-source_2.0.1-1_all.deb                 09-Feb-2018 17:31              243984
curry-tools-source_2.2.0-1_all.deb                 18-Nov-2019 17:13              300128
curry-tools-source_3.3.0-2_all.deb                 05-Feb-2021 05:34              323100
curry-tools_2.0.1-1.debian.tar.xz                  09-Feb-2018 17:30                3464
curry-tools_2.0.1-1.dsc                            09-Feb-2018 17:30                2088
curry-tools_2.0.1.orig.tar.gz                      09-Feb-2018 17:30              425094
curry-tools_2.2.0-1.debian.tar.xz                  18-Nov-2019 17:13                3896
curry-tools_2.2.0-1.dsc                            18-Nov-2019 17:13                2082
curry-tools_2.2.0.orig.tar.gz                      18-Nov-2019 17:13              540014
curry-tools_3.3.0-2.debian.tar.xz                  05-Feb-2021 05:19                3968
curry-tools_3.3.0-2.dsc                            05-Feb-2021 05:19                2082
curry-tools_3.3.0.orig.tar.gz                      05-Feb-2021 05:19              596237

These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.