Index of /pub/debian/pool/main/c/cryptominisat/

../
cryptominisat_5.11.21+dfsg1-1+b3_amd64.deb         07-Jan-2025 13:47               91340
cryptominisat_5.11.21+dfsg1-1+b3_i386.deb          07-Jan-2025 14:02               97752
cryptominisat_5.11.21+dfsg1-1+b3_riscv64.deb       07-Jan-2025 15:26               89408
cryptominisat_5.11.21+dfsg1-2_amd64.deb            24-May-2025 23:21               91392
cryptominisat_5.11.21+dfsg1-2_i386.deb             24-May-2025 23:21               97708
cryptominisat_5.11.21+dfsg1-2_riscv64.deb          25-May-2025 00:08               89492
cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb          03-Jan-2023 06:27               77096
cryptominisat_5.11.4+dfsg1-2+b1_i386.deb           03-Jan-2023 07:45               81072
cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb           12-Dec-2020 14:13               88028
cryptominisat_5.8.0+dfsg1-1+b3_i386.deb            12-Dec-2020 14:39               93104
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_i386.deb  03-Jan-2023 07:45              528160
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_i3..> 07-Jan-2025 14:02              547508
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_ri..> 07-Jan-2025 15:26              547108
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_amd64..> 24-May-2025 23:21              521412
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_i386.deb 24-May-2025 23:21              548920
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_riscv..> 25-May-2025 00:08              547128
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_i386.deb    12-Dec-2020 14:39              441940
libcryptominisat5-dev_5.11.21+dfsg1-1+b3_amd64.deb 07-Jan-2025 13:47               19036
libcryptominisat5-dev_5.11.21+dfsg1-1+b3_i386.deb  07-Jan-2025 14:02               19044
libcryptominisat5-dev_5.11.21+dfsg1-1+b3_riscv6..> 07-Jan-2025 15:26               19044
libcryptominisat5-dev_5.11.21+dfsg1-2_amd64.deb    24-May-2025 23:21               18816
libcryptominisat5-dev_5.11.21+dfsg1-2_i386.deb     24-May-2025 23:21               18816
libcryptominisat5-dev_5.11.21+dfsg1-2_riscv64.deb  25-May-2025 00:08               18824
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_amd64.deb  03-Jan-2023 06:27               18324
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_i386.deb    12-Dec-2020 14:39               13944
python3-cryptominisat_5.11.21+dfsg1-1+b3_amd64.deb 07-Jan-2025 13:47              590548
python3-cryptominisat_5.11.21+dfsg1-1+b3_i386.deb  07-Jan-2025 14:02              646920
python3-cryptominisat_5.11.21+dfsg1-1+b3_riscv6..> 07-Jan-2025 15:26              612616
python3-cryptominisat_5.11.21+dfsg1-2_amd64.deb    24-May-2025 23:21              597204
python3-cryptominisat_5.11.21+dfsg1-2_i386.deb     24-May-2025 23:21              655504
python3-cryptominisat_5.11.21+dfsg1-2_riscv64.deb  25-May-2025 00:08              620948
python3-cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb  03-Jan-2023 06:27              532504
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_i386.deb    12-Dec-2020 14:39               19944