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.

Index of /raspbian/raspbian/pool/main/c/cryptominisat/

../
cryptominisat_5.11.15+dfsg1-1.debian.tar.xz        14-Dec-2023 09:37                5400
cryptominisat_5.11.15+dfsg1-1.dsc                  14-Dec-2023 09:37                2470
cryptominisat_5.11.15+dfsg1-1_armhf.deb            16-Dec-2023 16:08               71264
cryptominisat_5.11.15+dfsg1.orig.tar.xz            14-Dec-2023 09:37              474840
cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb          31-Jan-2023 16:08               68560
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.6.4+dfsg.1-1.debian.tar.xz         29-Aug-2018 03:39               19928
cryptominisat_5.6.4+dfsg.1-1.dsc                   29-Aug-2018 03:39                1720
cryptominisat_5.6.4+dfsg.1.orig.tar.gz             29-Aug-2018 03:39              492403
cryptominisat_5.8.0+dfsg1-1+b1_armhf.deb           07-Dec-2020 22:08               82548
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.15+dfsg1-1_armhf.deb   16-Dec-2023 16:08              447684
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armhf.deb 31-Jan-2023 16:08              443468
libcryptominisat5-5.8_5.8.0+dfsg1-1+b1_armhf.deb   07-Dec-2020 22:08              371188
libcryptominisat5-dev_5.11.15+dfsg1-1_armhf.deb    16-Dec-2023 16:08               18532
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armhf.deb  31-Jan-2023 16:08               18312
libcryptominisat5-dev_5.8.0+dfsg1-1+b1_armhf.deb   07-Dec-2020 22:08               13948
python3-cryptominisat_5.11.15+dfsg1-1_armhf.deb    16-Dec-2023 16:08              469964
python3-cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb  31-Jan-2023 16:08              472016
python3-cryptominisat_5.8.0+dfsg1-1+b1_armhf.deb   07-Dec-2020 22:08               17944

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.