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.
../ CHECKSUMS 11-Aug-2024 11:40 4302 Debug-Filter-PrintExpr-0.19.meta 22-Mar-2020 14:45 1454 Debug-Filter-PrintExpr-0.19.readme 07-Feb-2020 17:18 776 Debug-Filter-PrintExpr-0.19.tar.gz 22-Mar-2020 15:19 8872 List-Gen-0.975.meta 17-May-2024 18:41 841 List-Gen-0.975.readme 13-May-2024 15:44 1352 List-Gen-0.975.tar.gz 16-Jul-2024 19:09 108646 List-Gen-0.976.meta 10-Aug-2024 11:38 1415 List-Gen-0.976.readme 13-May-2024 15:44 1352 List-Gen-0.976.tar.gz 10-Aug-2024 11:40 109245 PDL-Opt-GLPK-0.07.meta 26-Mar-2024 13:01 1469 PDL-Opt-GLPK-0.07.readme 16-Feb-2024 11:19 831 PDL-Opt-GLPK-0.07.tar.gz 26-Mar-2024 13:04 26868 Shell-Run-0.10.meta 01-Mar-2020 14:56 1382 Shell-Run-0.10.readme 20-Sep-2019 17:56 1242 Shell-Run-0.10.tar.gz 01-Mar-2020 14:57 8927
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.