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.
../ 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.