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.
../ ladr4-apps_0.0.200911a-2.1+b2_amd64.deb 24-Feb-2017 18:43 159868 ladr4-apps_0.0.200911a-2.1+b2_arm64.deb 24-Feb-2017 18:12 130084 ladr4-apps_0.0.200911a-2.1+b2_i386.deb 24-Feb-2017 18:58 156610 ladr_0.0.200911a-2.1.debian.tar.xz 09-Oct-2014 10:53 19388 ladr_0.0.200911a-2.1.dsc 09-Oct-2014 10:53 1337 ladr_0.0.200911a.orig.tar.gz 12-Dec-2012 19:04 1795750 libladr-dev_0.0.200911a-2.1+b2_amd64.deb 24-Feb-2017 18:43 284828 libladr-dev_0.0.200911a-2.1+b2_arm64.deb 24-Feb-2017 18:12 258132 libladr-dev_0.0.200911a-2.1+b2_i386.deb 24-Feb-2017 18:58 310942 libladr4_0.0.200911a-2.1+b2_amd64.deb 24-Feb-2017 18:43 188260 libladr4_0.0.200911a-2.1+b2_arm64.deb 24-Feb-2017 18:12 156948 libladr4_0.0.200911a-2.1+b2_i386.deb 24-Feb-2017 18:58 210936 prover9_0.0.200911a-2.1+b2_amd64.deb 24-Feb-2017 18:43 102844 prover9_0.0.200911a-2.1+b2_arm64.deb 24-Feb-2017 18:12 92758 prover9_0.0.200911a-2.1+b2_i386.deb 24-Feb-2017 18:58 109342
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.