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 /ubuntu/pool/universe/c/cryptominisat/


../
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_amd64.deb    01-Apr-2024 03:47               83060
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_amd64.deb            03-May-2024 12:05               93662
cryptominisat_5.11.21+dfsg1.orig.tar.xz            03-May-2024 11:29              481480
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_amd64.deb              22-Feb-2022 23:45               92960
cryptominisat_5.8.0+dfsg1.orig.tar.xz              13-Jul-2020 17:24              451304
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 01-Apr-2024 03:47              447326
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_amd64..> 03-May-2024 12:05              445192
libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb      22-Feb-2022 23:45              386708
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_a..> 01-Apr-2024 03:47               17744
libcryptominisat5-dev_5.11.21+dfsg1-1_amd64.deb    03-May-2024 12:05               17800
libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb      22-Feb-2022 23:45               12978
python3-cryptominisat_5.11.15+dfsg1-1.1build1_a..> 01-Apr-2024 03:47              525966
python3-cryptominisat_5.11.21+dfsg1-1_amd64.deb    03-May-2024 12:05              523984
python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb      22-Feb-2022 23:45               19592

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.