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.
../ boolector_1.5.118.6b56be4.121013-1.1.debian.tar.xz 03-Jan-2022 17:24 4704 boolector_1.5.118.6b56be4.121013-1.1.dsc 03-Jan-2022 17:24 2165 boolector_1.5.118.6b56be4.121013-1.1_arm64.deb 03-Jan-2022 17:44 299716 boolector_1.5.118.6b56be4.121013-1.1_armhf.deb 03-Jan-2022 17:44 285756 boolector_1.5.118.6b56be4.121013-1.3.debian.tar.xz 12-Nov-2022 11:24 5504 boolector_1.5.118.6b56be4.121013-1.3.dsc 12-Nov-2022 11:24 1722 boolector_1.5.118.6b56be4.121013-1.3_arm64.deb 12-Nov-2022 11:24 304714 boolector_1.5.118.6b56be4.121013-1.3_armhf.deb 12-Nov-2022 11:24 290032 boolector_1.5.118.6b56be4.121013-1.debian.tar.gz 28-Oct-2012 23:08 4827 boolector_1.5.118.6b56be4.121013-1.dsc 28-Oct-2012 23:08 1515 boolector_1.5.118.6b56be4.121013-1_arm64.deb 11-Oct-2013 09:38 323184 boolector_1.5.118.6b56be4.121013-1_armhf.deb 29-Oct-2012 03:05 297614 boolector_1.5.118.6b56be4.121013-1build1.debian..> 03-Apr-2018 18:04 4776 boolector_1.5.118.6b56be4.121013-1build1.dsc 03-Apr-2018 18:04 2289 boolector_1.5.118.6b56be4.121013-1build1_arm64.deb 03-Apr-2018 19:13 247036 boolector_1.5.118.6b56be4.121013-1build1_armhf.deb 03-Apr-2018 19:13 256292 boolector_1.5.118.6b56be4.121013.orig-lingeling..> 28-Oct-2012 23:08 166291 boolector_1.5.118.6b56be4.121013.orig.tar.gz 28-Oct-2012 23:08 188678
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.