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+b1_amd64.deb 17-Mar-2017 04:58 303934 boolector_1.5.118.6b56be4.121013-1+b1_arm64.deb 17-Mar-2017 00:57 246580 boolector_1.5.118.6b56be4.121013-1+b1_i386.deb 17-Mar-2017 03:56 315538 boolector_1.5.118.6b56be4.121013-1.3.debian.tar.xz 12-Nov-2022 05:11 5504 boolector_1.5.118.6b56be4.121013-1.3.dsc 12-Nov-2022 05:11 1722 boolector_1.5.118.6b56be4.121013-1.3_amd64.deb 12-Nov-2022 05:41 309044 boolector_1.5.118.6b56be4.121013-1.3_arm64.deb 12-Nov-2022 05:41 264108 boolector_1.5.118.6b56be4.121013-1.3_i386.deb 12-Nov-2022 05:41 319592 boolector_1.5.118.6b56be4.121013-1.debian.tar.gz 16-Oct-2012 14:46 4827 boolector_1.5.118.6b56be4.121013-1.dsc 16-Oct-2012 14:46 1515 boolector_1.5.118.6b56be4.121013.orig-lingeling..> 16-Oct-2012 14:46 166291 boolector_1.5.118.6b56be4.121013.orig.tar.gz 16-Oct-2012 14:46 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.