Parent directory/ | - | - |
python3-cryptominisat_5.8.0+dfsg1-1+b3_s390x.deb | 18K | 13-Dec-2020 01:57 |
python3-cryptominisat_5.8.0+dfsg1-1+b3_ppc64el.deb | 20K | 12-Dec-2020 20:28 |
python3-cryptominisat_5.8.0+dfsg1-1+b3_mipsel.deb | 19K | 13-Dec-2020 14:56 |
python3-cryptominisat_5.8.0+dfsg1-1+b3_mips64el.deb | 19K | 13-Dec-2020 03:25 |
python3-cryptominisat_5.8.0+dfsg1-1+b3_i386.deb | 19K | 12-Dec-2020 18:39 |
python3-cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb | 18K | 12-Dec-2020 19:26 |
python3-cryptominisat_5.8.0+dfsg1-1+b3_armel.deb | 18K | 12-Dec-2020 17:11 |
python3-cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb | 18K | 12-Dec-2020 16:00 |
python3-cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb | 19K | 12-Dec-2020 18:13 |
python3-cryptominisat_5.11.4+dfsg1-2+b1_s390x.deb | 483K | 06-Jan-2023 04:56 |
python3-cryptominisat_5.11.4+dfsg1-2+b1_ppc64el.deb | 556K | 05-Jan-2023 03:55 |
python3-cryptominisat_5.11.4+dfsg1-2+b1_mipsel.deb | 511K | 03-Jan-2023 10:43 |
python3-cryptominisat_5.11.4+dfsg1-2+b1_mips64el.deb | 494K | 03-Jan-2023 10:12 |
python3-cryptominisat_5.11.4+dfsg1-2+b1_i386.deb | 576K | 03-Jan-2023 11:45 |
python3-cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb | 473K | 03-Jan-2023 10:58 |
python3-cryptominisat_5.11.4+dfsg1-2+b1_armel.deb | 462K | 03-Jan-2023 10:59 |
python3-cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb | 479K | 03-Jan-2023 10:58 |
python3-cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb | 520K | 03-Jan-2023 10:27 |
python3-cryptominisat_5.11.21+dfsg1-1+b2_s390x.deb | 599K | 29-Oct-2024 15:54 |
python3-cryptominisat_5.11.21+dfsg1-1+b2_riscv64.deb | 598K | 29-Oct-2024 07:53 |
python3-cryptominisat_5.11.21+dfsg1-1+b2_ppc64el.deb | 603K | 28-Oct-2024 20:41 |
python3-cryptominisat_5.11.21+dfsg1-1+b2_mips64el.deb | 532K | 29-Oct-2024 09:41 |
python3-cryptominisat_5.11.21+dfsg1-1+b2_i386.deb | 632K | 28-Oct-2024 21:41 |
python3-cryptominisat_5.11.21+dfsg1-1+b2_armhf.deb | 524K | 29-Oct-2024 00:13 |
python3-cryptominisat_5.11.21+dfsg1-1+b2_armel.deb | 511K | 29-Oct-2024 02:47 |
python3-cryptominisat_5.11.21+dfsg1-1+b2_arm64.deb | 529K | 29-Oct-2024 06:43 |
python3-cryptominisat_5.11.21+dfsg1-1+b2_amd64.deb | 577K | 28-Oct-2024 20:52 |
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_s390x.deb | 14K | 13-Dec-2020 01:57 |
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_ppc64el.deb | 14K | 12-Dec-2020 20:28 |
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_mipsel.deb | 14K | 13-Dec-2020 14:56 |
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_mips64el.deb | 14K | 13-Dec-2020 03:25 |
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_i386.deb | 14K | 12-Dec-2020 18:39 |
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_armhf.deb | 14K | 12-Dec-2020 19:26 |
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_armel.deb | 14K | 12-Dec-2020 17:11 |
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_arm64.deb | 14K | 12-Dec-2020 16:00 |
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_amd64.deb | 14K | 12-Dec-2020 18:13 |
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_s390x.deb | 18K | 06-Jan-2023 04:56 |
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_ppc64el.deb | 18K | 05-Jan-2023 03:55 |
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_mipsel.deb | 18K | 03-Jan-2023 10:43 |
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_mips64el.deb | 18K | 03-Jan-2023 10:12 |
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_i386.deb | 18K | 03-Jan-2023 11:45 |
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armhf.deb | 18K | 03-Jan-2023 10:58 |
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armel.deb | 18K | 03-Jan-2023 10:59 |
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_arm64.deb | 18K | 03-Jan-2023 10:58 |
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_amd64.deb | 18K | 03-Jan-2023 10:27 |
libcryptominisat5-dev_5.11.21+dfsg1-1+b2_s390x.deb | 19K | 29-Oct-2024 15:54 |
libcryptominisat5-dev_5.11.21+dfsg1-1+b2_riscv64.deb | 19K | 29-Oct-2024 07:53 |
libcryptominisat5-dev_5.11.21+dfsg1-1+b2_ppc64el.deb | 19K | 28-Oct-2024 20:41 |
libcryptominisat5-dev_5.11.21+dfsg1-1+b2_mips64el.deb | 19K | 29-Oct-2024 09:41 |
libcryptominisat5-dev_5.11.21+dfsg1-1+b2_i386.deb | 19K | 28-Oct-2024 21:41 |
libcryptominisat5-dev_5.11.21+dfsg1-1+b2_armhf.deb | 19K | 29-Oct-2024 00:13 |
libcryptominisat5-dev_5.11.21+dfsg1-1+b2_armel.deb | 19K | 29-Oct-2024 02:47 |
libcryptominisat5-dev_5.11.21+dfsg1-1+b2_arm64.deb | 19K | 29-Oct-2024 06:43 |
libcryptominisat5-dev_5.11.21+dfsg1-1+b2_amd64.deb | 19K | 28-Oct-2024 20:52 |
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_s390x.deb | 372K | 13-Dec-2020 01:57 |
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_ppc64el.deb | 445K | 12-Dec-2020 20:28 |
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_mipsel.deb | 405K | 13-Dec-2020 14:56 |
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_mips64el.deb | 389K | 13-Dec-2020 03:25 |
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_i386.deb | 432K | 12-Dec-2020 18:39 |
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_armhf.deb | 376K | 12-Dec-2020 19:26 |
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_armel.deb | 366K | 12-Dec-2020 17:11 |
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_arm64.deb | 370K | 12-Dec-2020 16:00 |
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_amd64.deb | 406K | 12-Dec-2020 18:13 |
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_s390x.deb | 537K | 29-Oct-2024 15:54 |
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_riscv64.deb | 534K | 29-Oct-2024 07:53 |
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_ppc64el.deb | 541K | 28-Oct-2024 20:41 |
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_mips64el.deb | 472K | 29-Oct-2024 09:41 |
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_i386.deb | 535K | 28-Oct-2024 21:41 |
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_armhf.deb | 465K | 29-Oct-2024 00:13 |
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_armel.deb | 448K | 29-Oct-2024 02:47 |
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_arm64.deb | 461K | 29-Oct-2024 06:43 |
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_amd64.deb | 509K | 28-Oct-2024 20:52 |
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_s390x.deb | 449K | 06-Jan-2023 04:56 |
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_ppc64el.deb | 530K | 05-Jan-2023 03:55 |
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_mipsel.deb | 477K | 03-Jan-2023 10:43 |
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_mips64el.deb | 463K | 03-Jan-2023 10:12 |
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_i386.deb | 516K | 03-Jan-2023 11:45 |
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armhf.deb | 450K | 03-Jan-2023 10:58 |
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armel.deb | 432K | 03-Jan-2023 10:59 |
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_arm64.deb | 440K | 03-Jan-2023 10:58 |
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_amd64.deb | 490K | 03-Jan-2023 10:27 |
cryptominisat_5.8.0+dfsg1.orig.tar.xz | 441K | 11-Jul-2020 18:16 |
cryptominisat_5.8.0+dfsg1-1.dsc | 2408 | 11-Jul-2020 18:16 |
cryptominisat_5.8.0+dfsg1-1.debian.tar.xz | 6188 | 11-Jul-2020 18:16 |
cryptominisat_5.8.0+dfsg1-1+b3_s390x.deb | 81K | 13-Dec-2020 01:57 |
cryptominisat_5.8.0+dfsg1-1+b3_ppc64el.deb | 90K | 12-Dec-2020 20:28 |
cryptominisat_5.8.0+dfsg1-1+b3_mipsel.deb | 83K | 13-Dec-2020 14:56 |
cryptominisat_5.8.0+dfsg1-1+b3_mips64el.deb | 81K | 13-Dec-2020 03:25 |
cryptominisat_5.8.0+dfsg1-1+b3_i386.deb | 91K | 12-Dec-2020 18:39 |
cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb | 80K | 12-Dec-2020 19:26 |
cryptominisat_5.8.0+dfsg1-1+b3_armel.deb | 78K | 12-Dec-2020 17:11 |
cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb | 81K | 12-Dec-2020 16:00 |
cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb | 86K | 12-Dec-2020 18:13 |
cryptominisat_5.11.4+dfsg1.orig.tar.xz | 518K | 29-Oct-2022 01:20 |
cryptominisat_5.11.4+dfsg1-2.dsc | 2459 | 03-Nov-2022 23:09 |
cryptominisat_5.11.4+dfsg1-2.debian.tar.xz | 5360 | 03-Nov-2022 23:09 |
cryptominisat_5.11.4+dfsg1-2+b1_s390x.deb | 69K | 06-Jan-2023 04:56 |
cryptominisat_5.11.4+dfsg1-2+b1_ppc64el.deb | 77K | 05-Jan-2023 03:55 |
cryptominisat_5.11.4+dfsg1-2+b1_mipsel.deb | 71K | 03-Jan-2023 10:43 |
cryptominisat_5.11.4+dfsg1-2+b1_mips64el.deb | 70K | 03-Jan-2023 10:12 |
cryptominisat_5.11.4+dfsg1-2+b1_i386.deb | 79K | 03-Jan-2023 11:45 |
cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb | 67K | 03-Jan-2023 10:58 |
cryptominisat_5.11.4+dfsg1-2+b1_armel.deb | 66K | 03-Jan-2023 10:59 |
cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb | 69K | 03-Jan-2023 10:58 |
cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb | 75K | 03-Jan-2023 10:27 |
cryptominisat_5.11.21+dfsg1.orig.tar.xz | 470K | 03-May-2024 10:30 |
cryptominisat_5.11.21+dfsg1-1.dsc | 2498 | 03-May-2024 10:30 |
cryptominisat_5.11.21+dfsg1-1.debian.tar.xz | 6620 | 03-May-2024 10:30 |
cryptominisat_5.11.21+dfsg1-1+b2_s390x.deb | 86K | 29-Oct-2024 15:54 |
cryptominisat_5.11.21+dfsg1-1+b2_riscv64.deb | 87K | 29-Oct-2024 07:53 |
cryptominisat_5.11.21+dfsg1-1+b2_ppc64el.deb | 89K | 28-Oct-2024 20:41 |
cryptominisat_5.11.21+dfsg1-1+b2_mips64el.deb | 82K | 29-Oct-2024 09:41 |
cryptominisat_5.11.21+dfsg1-1+b2_i386.deb | 95K | 28-Oct-2024 21:41 |
cryptominisat_5.11.21+dfsg1-1+b2_armhf.deb | 81K | 29-Oct-2024 00:13 |
cryptominisat_5.11.21+dfsg1-1+b2_armel.deb | 78K | 29-Oct-2024 02:47 |
cryptominisat_5.11.21+dfsg1-1+b2_arm64.deb | 79K | 29-Oct-2024 06:43 |
cryptominisat_5.11.21+dfsg1-1+b2_amd64.deb | 89K | 28-Oct-2024 20:52 |