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_amd64.deb 03-Jan-2022 17:44 323476 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_amd64.deb 12-Nov-2022 11:24 327062 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_amd64.deb 29-Oct-2012 02:04 353614 boolector_1.5.118.6b56be4.121013-1_i386.deb 29-Oct-2012 01:35 345438 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_amd64.deb 03-Apr-2018 19:12 302448 boolector_1.5.118.6b56be4.121013-1build1_i386.deb 03-Apr-2018 19:13 310744 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.