Parent directory/ | - | - |
cryptominisat_5.11.21+dfsg1-1+b3_amd64.deb | 89K | 07-Jan-2025 13:47 |
cryptominisat_5.11.21+dfsg1-1+b3_arm64.deb | 79K | 07-Jan-2025 14:02 |
cryptominisat_5.11.21+dfsg1-1+b3_i386.deb | 95K | 07-Jan-2025 14:02 |
cryptominisat_5.11.21+dfsg1-1+b3_riscv64.deb | 87K | 07-Jan-2025 15:26 |
cryptominisat_5.11.21+dfsg1-1.debian.tar.xz | 6620 | 03-May-2024 06:30 |
cryptominisat_5.11.21+dfsg1-1.dsc | 2498 | 03-May-2024 06:30 |
cryptominisat_5.11.21+dfsg1.orig.tar.xz | 470K | 03-May-2024 06:30 |
cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb | 75K | 03-Jan-2023 06:27 |
cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb | 69K | 03-Jan-2023 06:58 |
cryptominisat_5.11.4+dfsg1-2+b1_i386.deb | 79K | 03-Jan-2023 07:45 |
cryptominisat_5.11.4+dfsg1-2.debian.tar.xz | 5360 | 03-Nov-2022 19:09 |
cryptominisat_5.11.4+dfsg1-2.dsc | 2459 | 03-Nov-2022 19:09 |
cryptominisat_5.11.4+dfsg1.orig.tar.xz | 518K | 28-Oct-2022 21:20 |
cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb | 86K | 12-Dec-2020 14:13 |
cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb | 81K | 12-Dec-2020 12:00 |
cryptominisat_5.8.0+dfsg1-1+b3_i386.deb | 91K | 12-Dec-2020 14:39 |
cryptominisat_5.8.0+dfsg1-1.debian.tar.xz | 6188 | 11-Jul-2020 14:16 |
cryptominisat_5.8.0+dfsg1-1.dsc | 2408 | 11-Jul-2020 14:16 |
cryptominisat_5.8.0+dfsg1.orig.tar.xz | 441K | 11-Jul-2020 14:16 |
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_amd64.deb | 490K | 03-Jan-2023 06:27 |
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_arm64.deb | 440K | 03-Jan-2023 06:58 |
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_i386.deb | 516K | 03-Jan-2023 07:45 |
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_am..> | 509K | 07-Jan-2025 13:47 |
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_ar..> | 461K | 07-Jan-2025 14:02 |
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_i3..> | 535K | 07-Jan-2025 14:02 |
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_ri..> | 534K | 07-Jan-2025 15:26 |
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_amd64.deb | 406K | 12-Dec-2020 14:13 |
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_arm64.deb | 370K | 12-Dec-2020 12:00 |
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_i386.deb | 432K | 12-Dec-2020 14:39 |
libcryptominisat5-dev_5.11.21+dfsg1-1+b3_amd64.deb | 19K | 07-Jan-2025 13:47 |
libcryptominisat5-dev_5.11.21+dfsg1-1+b3_arm64.deb | 19K | 07-Jan-2025 14:02 |
libcryptominisat5-dev_5.11.21+dfsg1-1+b3_i386.deb | 19K | 07-Jan-2025 14:02 |
libcryptominisat5-dev_5.11.21+dfsg1-1+b3_riscv6..> | 19K | 07-Jan-2025 15:26 |
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_amd64.deb | 18K | 03-Jan-2023 06:27 |
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_arm64.deb | 18K | 03-Jan-2023 06:58 |
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_i386.deb | 18K | 03-Jan-2023 07:45 |
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_amd64.deb | 14K | 12-Dec-2020 14:13 |
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_arm64.deb | 14K | 12-Dec-2020 12:00 |
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_i386.deb | 14K | 12-Dec-2020 14:39 |
python3-cryptominisat_5.11.21+dfsg1-1+b3_amd64.deb | 577K | 07-Jan-2025 13:47 |
python3-cryptominisat_5.11.21+dfsg1-1+b3_arm64.deb | 530K | 07-Jan-2025 14:02 |
python3-cryptominisat_5.11.21+dfsg1-1+b3_i386.deb | 632K | 07-Jan-2025 14:02 |
python3-cryptominisat_5.11.21+dfsg1-1+b3_riscv6..> | 598K | 07-Jan-2025 15:26 |
python3-cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb | 520K | 03-Jan-2023 06:27 |
python3-cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb | 479K | 03-Jan-2023 06:58 |
python3-cryptominisat_5.11.4+dfsg1-2+b1_i386.deb | 576K | 03-Jan-2023 07:45 |
python3-cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb | 19K | 12-Dec-2020 14:13 |
python3-cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb | 18K | 12-Dec-2020 12:00 |
python3-cryptominisat_5.8.0+dfsg1-1+b3_i386.deb | 19K | 12-Dec-2020 14:39 |