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.1build1.debian.ta..> 31-Mar-2024 18:36 5720 cryptominisat_5.11.15+dfsg1-1.1build1.dsc 31-Mar-2024 18:36 2621 cryptominisat_5.11.15+dfsg1-1.1build1_arm64.deb 02-Apr-2024 01:07 79224 cryptominisat_5.11.15+dfsg1-1.1build1_armhf.deb 02-Apr-2024 01:08 79310 cryptominisat_5.11.15+dfsg1.orig.tar.xz 14-Dec-2023 17:37 474840 cryptominisat_5.11.21+dfsg1-1.debian.tar.xz 03-May-2024 11:29 6620 cryptominisat_5.11.21+dfsg1-1.dsc 03-May-2024 11:29 2498 cryptominisat_5.11.21+dfsg1-1_arm64.deb 05-May-2024 17:38 85518 cryptominisat_5.11.21+dfsg1-1_armhf.deb 09-May-2024 11:31 87562 cryptominisat_5.11.21+dfsg1.orig.tar.xz 03-May-2024 11:29 481480 cryptominisat_5.11.4+dfsg1-2build1.debian.tar.xz 25-Dec-2022 20:25 5436 cryptominisat_5.11.4+dfsg1-2build1.dsc 25-Dec-2022 20:25 2462 cryptominisat_5.11.4+dfsg1-2build1_arm64.deb 25-Dec-2022 20:26 75032 cryptominisat_5.11.4+dfsg1-2build1_armhf.deb 25-Dec-2022 20:27 74544 cryptominisat_5.11.4+dfsg1.orig.tar.xz 06-Nov-2022 03:16 530220 cryptominisat_5.8.0+dfsg1-2.debian.tar.xz 22-Feb-2022 23:24 6264 cryptominisat_5.8.0+dfsg1-2.dsc 22-Feb-2022 23:24 2408 cryptominisat_5.8.0+dfsg1-2_arm64.deb 22-Feb-2022 23:45 89080 cryptominisat_5.8.0+dfsg1-2_armhf.deb 22-Feb-2022 23:45 88634 cryptominisat_5.8.0+dfsg1.orig.tar.xz 13-Jul-2020 17:24 451304 libcryptominisat5-5.11_5.11.4+dfsg1-2build1_arm..> 25-Dec-2022 20:26 426100 libcryptominisat5-5.11_5.11.4+dfsg1-2build1_arm..> 25-Dec-2022 20:27 506494 libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 02-Apr-2024 01:07 435248 libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 02-Apr-2024 01:08 522620 libcryptominisat5-5.11t64_5.11.21+dfsg1-1_arm64..> 05-May-2024 17:38 436338 libcryptominisat5-5.11t64_5.11.21+dfsg1-1_armhf..> 09-May-2024 11:31 513456 libcryptominisat5-5.8_5.8.0+dfsg1-2_arm64.deb 22-Feb-2022 23:45 374678 libcryptominisat5-5.8_5.8.0+dfsg1-2_armhf.deb 22-Feb-2022 23:45 425954 libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_a..> 02-Apr-2024 01:07 17748 libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_a..> 02-Apr-2024 01:08 17750 libcryptominisat5-dev_5.11.21+dfsg1-1_arm64.deb 05-May-2024 17:38 17800 libcryptominisat5-dev_5.11.21+dfsg1-1_armhf.deb 09-May-2024 11:31 17742 libcryptominisat5-dev_5.11.4+dfsg1-2build1_arm6..> 25-Dec-2022 20:26 17300 libcryptominisat5-dev_5.11.4+dfsg1-2build1_armh..> 25-Dec-2022 20:27 17306 libcryptominisat5-dev_5.8.0+dfsg1-2_arm64.deb 22-Feb-2022 23:45 12974 libcryptominisat5-dev_5.8.0+dfsg1-2_armhf.deb 22-Feb-2022 23:45 12980 python3-cryptominisat_5.11.15+dfsg1-1.1build1_a..> 02-Apr-2024 01:07 519270 python3-cryptominisat_5.11.15+dfsg1-1.1build1_a..> 02-Apr-2024 01:08 524220 python3-cryptominisat_5.11.21+dfsg1-1_arm64.deb 05-May-2024 17:38 520378 python3-cryptominisat_5.11.21+dfsg1-1_armhf.deb 09-May-2024 11:31 523318 python3-cryptominisat_5.11.4+dfsg1-2build1_arm6..> 25-Dec-2022 20:26 519410 python3-cryptominisat_5.11.4+dfsg1-2build1_armh..> 25-Dec-2022 20:27 527206 python3-cryptominisat_5.8.0+dfsg1-2_arm64.deb 22-Feb-2022 23:45 19248 python3-cryptominisat_5.8.0+dfsg1-2_armhf.deb 22-Feb-2022 23:45 18400
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.