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.
../ cryptominisat_5.11.15+dfsg1-1.1.debian.tar.xz 27-Feb-2024 23:23 5608 cryptominisat_5.11.15+dfsg1-1.1.dsc 27-Feb-2024 23:23 2510 cryptominisat_5.11.15+dfsg1-1.1_amd64.deb 27-Feb-2024 23:54 80632 cryptominisat_5.11.15+dfsg1-1.1_arm64.deb 28-Feb-2024 00:04 73940 cryptominisat_5.11.15+dfsg1-1.1_i386.deb 27-Feb-2024 23:54 83568 cryptominisat_5.11.15+dfsg1.orig.tar.xz 14-Dec-2023 09:37 474840 cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb 03-Jan-2023 06:27 77096 cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb 03-Jan-2023 06:58 70876 cryptominisat_5.11.4+dfsg1-2+b1_i386.deb 03-Jan-2023 07:45 81072 cryptominisat_5.11.4+dfsg1-2.debian.tar.xz 03-Nov-2022 19:09 5360 cryptominisat_5.11.4+dfsg1-2.dsc 03-Nov-2022 19:09 2459 cryptominisat_5.11.4+dfsg1.orig.tar.xz 28-Oct-2022 21:20 530220 cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb 12-Dec-2020 14:13 88028 cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb 12-Dec-2020 12:00 82508 cryptominisat_5.8.0+dfsg1-1+b3_i386.deb 12-Dec-2020 14:39 93104 cryptominisat_5.8.0+dfsg1-1.debian.tar.xz 11-Jul-2020 14:16 6188 cryptominisat_5.8.0+dfsg1-1.dsc 11-Jul-2020 14:16 2408 cryptominisat_5.8.0+dfsg1.orig.tar.xz 11-Jul-2020 14:16 451304 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_amd64.deb 03-Jan-2023 06:27 502056 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_arm64.deb 03-Jan-2023 06:58 450988 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_i386.deb 03-Jan-2023 07:45 528160 libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_amd..> 27-Feb-2024 23:54 505972 libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_arm..> 28-Feb-2024 00:04 459628 libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_i38..> 27-Feb-2024 23:54 531488 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_amd64.deb 12-Dec-2020 14:13 416028 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_arm64.deb 12-Dec-2020 12:00 378996 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_i386.deb 12-Dec-2020 14:39 441940 libcryptominisat5-dev_5.11.15+dfsg1-1.1_amd64.deb 27-Feb-2024 23:54 18640 libcryptominisat5-dev_5.11.15+dfsg1-1.1_arm64.deb 28-Feb-2024 00:04 18644 libcryptominisat5-dev_5.11.15+dfsg1-1.1_i386.deb 27-Feb-2024 23:54 18644 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_amd64.deb 03-Jan-2023 06:27 18324 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_arm64.deb 03-Jan-2023 06:58 18320 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_i386.deb 03-Jan-2023 07:45 18316 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_amd64.deb 12-Dec-2020 14:13 13976 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_arm64.deb 12-Dec-2020 12:00 13944 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_i386.deb 12-Dec-2020 14:39 13944 python3-cryptominisat_5.11.15+dfsg1-1.1_amd64.deb 27-Feb-2024 23:54 528296 python3-cryptominisat_5.11.15+dfsg1-1.1_arm64.deb 28-Feb-2024 00:04 488828 python3-cryptominisat_5.11.15+dfsg1-1.1_i386.deb 27-Feb-2024 23:54 585204 python3-cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb 03-Jan-2023 06:27 532504 python3-cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb 03-Jan-2023 06:58 490280 python3-cryptominisat_5.11.4+dfsg1-2+b1_i386.deb 03-Jan-2023 07:45 589572 python3-cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb 12-Dec-2020 14:13 19152 python3-cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb 12-Dec-2020 12:00 18776 python3-cryptominisat_5.8.0+dfsg1-1+b3_i386.deb 12-Dec-2020 14:39 19944
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.