Parent directory/ | - | - |
cryptominisat_5.8.0+dfsg1-1.dsc | 2408 | 11-Jul-2020 18:16 |
cryptominisat_5.11.4+dfsg1-2.dsc | 2459 | 03-Nov-2022 23:09 |
cryptominisat_5.11.15+dfsg1-1.dsc | 2470 | 14-Dec-2023 13:37 |
cryptominisat_5.11.15+dfsg1-1.1.dsc | 2510 | 28-Feb-2024 03:23 |
cryptominisat_5.11.4+dfsg1-2.debian.tar.xz | 5360 | 03-Nov-2022 23:09 |
cryptominisat_5.11.15+dfsg1-1.debian.tar.xz | 5400 | 14-Dec-2023 13:37 |
cryptominisat_5.11.15+dfsg1-1.1.debian.tar.xz | 5608 | 28-Feb-2024 03:23 |
cryptominisat_5.8.0+dfsg1-1.debian.tar.xz | 6188 | 11-Jul-2020 18:16 |
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_mipsel.deb | 14K | 13-Dec-2020 14:56 |
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_arm64.deb | 14K | 12-Dec-2020 16:00 |
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_armhf.deb | 14K | 12-Dec-2020 19:26 |
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_i386.deb | 14K | 12-Dec-2020 18:39 |
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_s390x.deb | 14K | 13-Dec-2020 01:57 |
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_mips64el.deb | 14K | 13-Dec-2020 03:25 |
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_armel.deb | 14K | 12-Dec-2020 17:11 |
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_ppc64el.deb | 14K | 12-Dec-2020 20:28 |
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_amd64.deb | 14K | 12-Dec-2020 18:13 |
python3-cryptominisat_5.8.0+dfsg1-1+b3_armel.deb | 18K | 12-Dec-2020 17:11 |
python3-cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb | 18K | 12-Dec-2020 19:26 |
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armel.deb | 18K | 03-Jan-2023 10:59 |
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_s390x.deb | 18K | 06-Jan-2023 04:56 |
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_i386.deb | 18K | 03-Jan-2023 11:45 |
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_arm64.deb | 18K | 03-Jan-2023 10:58 |
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armhf.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.4+dfsg1-2+b1_mips64el.deb | 18K | 03-Jan-2023 10:12 |
libcryptominisat5-dev_5.11.15+dfsg1-1.1_amd64.deb | 18K | 28-Feb-2024 03:54 |
libcryptominisat5-dev_5.11.15+dfsg1-1.1_arm64.deb | 18K | 28-Feb-2024 04:04 |
libcryptominisat5-dev_5.11.15+dfsg1-1.1_armel.deb | 18K | 28-Feb-2024 04:04 |
libcryptominisat5-dev_5.11.15+dfsg1-1.1_i386.deb | 18K | 28-Feb-2024 03:54 |
libcryptominisat5-dev_5.11.15+dfsg1-1.1_riscv64.deb | 18K | 28-Feb-2024 05:26 |
libcryptominisat5-dev_5.11.15+dfsg1-1.1_s390x.deb | 18K | 28-Feb-2024 03:49 |
libcryptominisat5-dev_5.11.15+dfsg1-1.1_armhf.deb | 18K | 28-Feb-2024 03:54 |
libcryptominisat5-dev_5.11.15+dfsg1-1.1_ppc64el.deb | 18K | 28-Feb-2024 03:54 |
libcryptominisat5-dev_5.11.15+dfsg1-1.1_mips64el.deb | 18K | 28-Feb-2024 04:20 |
python3-cryptominisat_5.8.0+dfsg1-1+b3_s390x.deb | 18K | 13-Dec-2020 01:57 |
python3-cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb | 18K | 12-Dec-2020 16:00 |
libcryptominisat5-dev_5.11.15+dfsg1-1+b2_armel.deb | 18K | 06-Jan-2024 02:19 |
libcryptominisat5-dev_5.11.15+dfsg1-1+b2_i386.deb | 18K | 06-Jan-2024 02:24 |
libcryptominisat5-dev_5.11.15+dfsg1-1+b2_armhf.deb | 18K | 06-Jan-2024 01:18 |
libcryptominisat5-dev_5.11.15+dfsg1-1+b2_arm64.deb | 18K | 05-Jan-2024 23:40 |
libcryptominisat5-dev_5.11.15+dfsg1-1+b2_s390x.deb | 18K | 06-Jan-2024 10:38 |
libcryptominisat5-dev_5.11.15+dfsg1-1+b2_ppc64el.deb | 18K | 06-Jan-2024 00:40 |
libcryptominisat5-dev_5.11.15+dfsg1-1+b2_amd64.deb | 18K | 06-Jan-2024 01:41 |
libcryptominisat5-dev_5.11.15+dfsg1-1+b2_mips64el.deb | 18K | 06-Jan-2024 03:07 |
python3-cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb | 19K | 12-Dec-2020 18:13 |
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_ppc64el.deb | 20K | 12-Dec-2020 20:28 |
cryptominisat_5.11.4+dfsg1-2+b1_armel.deb | 66K | 03-Jan-2023 10:59 |
cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb | 67K | 03-Jan-2023 10:58 |
cryptominisat_5.11.4+dfsg1-2+b1_s390x.deb | 69K | 06-Jan-2023 04:56 |
cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb | 69K | 03-Jan-2023 10:58 |
cryptominisat_5.11.15+dfsg1-1.1_armel.deb | 70K | 28-Feb-2024 04:04 |
cryptominisat_5.11.15+dfsg1-1+b2_armel.deb | 70K | 06-Jan-2024 02:19 |
cryptominisat_5.11.4+dfsg1-2+b1_mips64el.deb | 70K | 03-Jan-2023 10:12 |
cryptominisat_5.11.15+dfsg1-1+b2_armhf.deb | 71K | 06-Jan-2024 01:18 |
cryptominisat_5.11.15+dfsg1-1.1_armhf.deb | 71K | 28-Feb-2024 03:54 |
cryptominisat_5.11.4+dfsg1-2+b1_mipsel.deb | 71K | 03-Jan-2023 10:43 |
cryptominisat_5.11.15+dfsg1-1.1_arm64.deb | 72K | 28-Feb-2024 04:04 |
cryptominisat_5.11.15+dfsg1-1+b2_arm64.deb | 72K | 05-Jan-2024 23:40 |
cryptominisat_5.11.15+dfsg1-1.1_mips64el.deb | 73K | 28-Feb-2024 04:20 |
cryptominisat_5.11.15+dfsg1-1+b2_mips64el.deb | 73K | 06-Jan-2024 03:07 |
cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb | 75K | 03-Jan-2023 10:27 |
cryptominisat_5.11.15+dfsg1-1.1_s390x.deb | 76K | 28-Feb-2024 03:49 |
cryptominisat_5.11.15+dfsg1-1+b2_s390x.deb | 77K | 06-Jan-2024 10:38 |
cryptominisat_5.11.4+dfsg1-2+b1_ppc64el.deb | 77K | 05-Jan-2023 03:55 |
cryptominisat_5.8.0+dfsg1-1+b3_armel.deb | 78K | 12-Dec-2020 17:11 |
cryptominisat_5.11.15+dfsg1-1.1_riscv64.deb | 78K | 28-Feb-2024 05:26 |
cryptominisat_5.11.15+dfsg1-1.1_amd64.deb | 79K | 28-Feb-2024 03:54 |
cryptominisat_5.11.15+dfsg1-1+b2_amd64.deb | 79K | 06-Jan-2024 01:41 |
cryptominisat_5.11.4+dfsg1-2+b1_i386.deb | 79K | 03-Jan-2023 11:45 |
cryptominisat_5.11.15+dfsg1-1.1_ppc64el.deb | 80K | 28-Feb-2024 03:54 |
cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb | 80K | 12-Dec-2020 19:26 |
cryptominisat_5.11.15+dfsg1-1+b2_ppc64el.deb | 80K | 06-Jan-2024 00:40 |
cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb | 81K | 12-Dec-2020 16:00 |
cryptominisat_5.8.0+dfsg1-1+b3_mips64el.deb | 81K | 13-Dec-2020 03:25 |
cryptominisat_5.8.0+dfsg1-1+b3_s390x.deb | 81K | 13-Dec-2020 01:57 |
cryptominisat_5.11.15+dfsg1-1.1_i386.deb | 82K | 28-Feb-2024 03:54 |
cryptominisat_5.11.15+dfsg1-1+b2_i386.deb | 82K | 06-Jan-2024 02:24 |
cryptominisat_5.8.0+dfsg1-1+b3_mipsel.deb | 83K | 13-Dec-2020 14:56 |
cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb | 86K | 12-Dec-2020 18:13 |
cryptominisat_5.8.0+dfsg1-1+b3_ppc64el.deb | 90K | 12-Dec-2020 20:28 |
cryptominisat_5.8.0+dfsg1-1+b3_i386.deb | 91K | 12-Dec-2020 18:39 |
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_s390x.deb | 372K | 13-Dec-2020 01:57 |
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_mips64el.deb | 389K | 13-Dec-2020 03:25 |
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_amd64.deb | 406K | 12-Dec-2020 18:13 |
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_i386.deb | 432K | 12-Dec-2020 18:39 |
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armel.deb | 432K | 03-Jan-2023 10:59 |
libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_armel.deb | 439K | 06-Jan-2024 02:19 |
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_armel.deb | 439K | 28-Feb-2024 04:04 |
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_arm64.deb | 440K | 03-Jan-2023 10:58 |
cryptominisat_5.8.0+dfsg1.orig.tar.xz | 441K | 11-Jul-2020 18:16 |
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_ppc64el.deb | 445K | 12-Dec-2020 20:28 |
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_s390x.deb | 449K | 06-Jan-2023 04:56 |
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_arm64.deb | 449K | 28-Feb-2024 04:04 |
libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_arm64.deb | 449K | 05-Jan-2024 23:40 |
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armhf.deb | 450K | 03-Jan-2023 10:58 |
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_armhf.deb | 457K | 28-Feb-2024 03:54 |
libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_armhf.deb | 457K | 06-Jan-2024 01:18 |
python3-cryptominisat_5.11.15+dfsg1-1+b2_armel.deb | 460K | 06-Jan-2024 02:19 |
python3-cryptominisat_5.11.15+dfsg1-1.1_armel.deb | 462K | 28-Feb-2024 04:04 |
python3-cryptominisat_5.11.4+dfsg1-2+b1_armel.deb | 462K | 03-Jan-2023 10:59 |
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_mips64el.deb | 463K | 03-Jan-2023 10:12 |
cryptominisat_5.11.15+dfsg1.orig.tar.xz | 464K | 14-Dec-2023 13:37 |
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_mips64el.deb | 466K | 28-Feb-2024 04:20 |
libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_mips64el.deb | 466K | 06-Jan-2024 03:07 |
python3-cryptominisat_5.11.15+dfsg1-1+b2_armhf.deb | 470K | 06-Jan-2024 01:18 |
python3-cryptominisat_5.11.15+dfsg1-1.1_armhf.deb | 471K | 28-Feb-2024 03:54 |
python3-cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb | 473K | 03-Jan-2023 10:58 |
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_mipsel.deb | 477K | 03-Jan-2023 10:43 |
python3-cryptominisat_5.11.15+dfsg1-1.1_arm64.deb | 477K | 28-Feb-2024 04:04 |
python3-cryptominisat_5.11.15+dfsg1-1+b2_arm64.deb | 478K | 05-Jan-2024 23:40 |
python3-cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb | 479K | 03-Jan-2023 10:58 |
python3-cryptominisat_5.11.4+dfsg1-2+b1_s390x.deb | 483K | 06-Jan-2023 04:56 |
python3-cryptominisat_5.11.15+dfsg1-1.1_mips64el.deb | 489K | 28-Feb-2024 04:20 |
python3-cryptominisat_5.11.15+dfsg1-1+b2_mips64el.deb | 489K | 06-Jan-2024 03:07 |
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_amd64.deb | 490K | 03-Jan-2023 10:27 |
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_amd64.deb | 494K | 28-Feb-2024 03:54 |
libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_amd64.deb | 494K | 06-Jan-2024 01:41 |
python3-cryptominisat_5.11.4+dfsg1-2+b1_mips64el.deb | 494K | 03-Jan-2023 10:12 |
python3-cryptominisat_5.11.4+dfsg1-2+b1_mipsel.deb | 511K | 03-Jan-2023 10:43 |
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_i386.deb | 516K | 03-Jan-2023 11:45 |
python3-cryptominisat_5.11.15+dfsg1-1.1_amd64.deb | 516K | 28-Feb-2024 03:54 |
python3-cryptominisat_5.11.15+dfsg1-1+b2_amd64.deb | 516K | 06-Jan-2024 01:41 |
cryptominisat_5.11.4+dfsg1.orig.tar.xz | 518K | 29-Oct-2022 01:20 |
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_i386.deb | 519K | 28-Feb-2024 03:54 |
libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_i386.deb | 519K | 06-Jan-2024 02:24 |
python3-cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb | 520K | 03-Jan-2023 10:27 |
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_riscv64.deb | 527K | 28-Feb-2024 05:26 |
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_s390x.deb | 529K | 28-Feb-2024 03:49 |
libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_s390x.deb | 529K | 06-Jan-2024 10:38 |
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_ppc64el.deb | 530K | 05-Jan-2023 03:55 |
libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_ppc64el.deb | 534K | 06-Jan-2024 00:40 |
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_ppc64el.deb | 534K | 28-Feb-2024 03:54 |
python3-cryptominisat_5.11.15+dfsg1-1.1_riscv64.deb | 544K | 28-Feb-2024 05:26 |
python3-cryptominisat_5.11.15+dfsg1-1.1_s390x.deb | 550K | 28-Feb-2024 03:49 |
python3-cryptominisat_5.11.15+dfsg1-1+b2_s390x.deb | 551K | 06-Jan-2024 10:38 |
python3-cryptominisat_5.11.15+dfsg1-1.1_ppc64el.deb | 552K | 28-Feb-2024 03:54 |
python3-cryptominisat_5.11.15+dfsg1-1+b2_ppc64el.deb | 552K | 06-Jan-2024 00:40 |
python3-cryptominisat_5.11.4+dfsg1-2+b1_ppc64el.deb | 556K | 05-Jan-2023 03:55 |
python3-cryptominisat_5.11.15+dfsg1-1.1_i386.deb | 571K | 28-Feb-2024 03:54 |
python3-cryptominisat_5.11.15+dfsg1-1+b2_i386.deb | 572K | 06-Jan-2024 02:24 |
python3-cryptominisat_5.11.4+dfsg1-2+b1_i386.deb | 576K | 03-Jan-2023 11:45 |