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.21+dfsg1-1+b2_amd64.deb 28-Oct-2024 16:52 91164 cryptominisat_5.11.21+dfsg1-1+b2_arm64.deb 29-Oct-2024 02:43 81100 cryptominisat_5.11.21+dfsg1-1+b2_i386.deb 28-Oct-2024 17:41 97716 cryptominisat_5.11.21+dfsg1-1+b3_amd64.deb 07-Jan-2025 13:47 91340 cryptominisat_5.11.21+dfsg1-1+b3_arm64.deb 07-Jan-2025 14:02 81004 cryptominisat_5.11.21+dfsg1-1+b3_i386.deb 07-Jan-2025 14:02 97752 cryptominisat_5.11.21+dfsg1-1.debian.tar.xz 03-May-2024 06:30 6620 cryptominisat_5.11.21+dfsg1-1.dsc 03-May-2024 06:30 2498 cryptominisat_5.11.21+dfsg1.orig.tar.xz 03-May-2024 06:30 481480 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.21+dfsg1-1+b2_am..> 28-Oct-2024 16:52 521308 libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_ar..> 29-Oct-2024 02:43 472380 libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_i3..> 28-Oct-2024 17:41 547548 libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_am..> 07-Jan-2025 13:47 521420 libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_ar..> 07-Jan-2025 14:02 472108 libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_i3..> 07-Jan-2025 14:02 547508 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.21+dfsg1-1+b2_amd64.deb 28-Oct-2024 16:52 19044 libcryptominisat5-dev_5.11.21+dfsg1-1+b2_arm64.deb 29-Oct-2024 02:43 19036 libcryptominisat5-dev_5.11.21+dfsg1-1+b2_i386.deb 28-Oct-2024 17:41 19048 libcryptominisat5-dev_5.11.21+dfsg1-1+b3_amd64.deb 07-Jan-2025 13:47 19036 libcryptominisat5-dev_5.11.21+dfsg1-1+b3_arm64.deb 07-Jan-2025 14:02 19048 libcryptominisat5-dev_5.11.21+dfsg1-1+b3_i386.deb 07-Jan-2025 14:02 19044 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.21+dfsg1-1+b2_amd64.deb 28-Oct-2024 16:52 590456 python3-cryptominisat_5.11.21+dfsg1-1+b2_arm64.deb 29-Oct-2024 02:43 541952 python3-cryptominisat_5.11.21+dfsg1-1+b2_i386.deb 28-Oct-2024 17:41 646776 python3-cryptominisat_5.11.21+dfsg1-1+b3_amd64.deb 07-Jan-2025 13:47 590548 python3-cryptominisat_5.11.21+dfsg1-1+b3_arm64.deb 07-Jan-2025 14:02 542236 python3-cryptominisat_5.11.21+dfsg1-1+b3_i386.deb 07-Jan-2025 14:02 646920 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.