| Parent directory/ | - | - |
| cryptominisat_5.11.15+dfsg1-1.1.debian.tar.xz | 5608 | 28-Feb-2024 05:28 |
| cryptominisat_5.11.15+dfsg1-1.1.dsc | 2510 | 28-Feb-2024 05:28 |
| cryptominisat_5.11.15+dfsg1-1.1_arm64.deb | 79222 | 28-Feb-2024 06:09 |
| cryptominisat_5.11.15+dfsg1-1.1_armhf.deb | 79296 | 29-Feb-2024 11:20 |
| cryptominisat_5.11.15+dfsg1-1.1_ppc64el.deb | 86502 | 28-Feb-2024 06:09 |
| cryptominisat_5.11.15+dfsg1-1.1_riscv64.deb | 86200 | 01-Mar-2024 11:00 |
| cryptominisat_5.11.15+dfsg1-1.1_s390x.deb | 84762 | 28-Feb-2024 06:09 |
| cryptominisat_5.11.15+dfsg1.orig.tar.xz | 474840 | 14-Dec-2023 17:37 |
| cryptominisat_5.11.4+dfsg1-2build1.debian.tar.xz | 5436 | 25-Dec-2022 20:25 |
| cryptominisat_5.11.4+dfsg1-2build1.dsc | 2462 | 25-Dec-2022 20:25 |
| cryptominisat_5.11.4+dfsg1-2build1_arm64.deb | 75032 | 25-Dec-2022 20:26 |
| cryptominisat_5.11.4+dfsg1-2build1_armhf.deb | 74544 | 25-Dec-2022 20:27 |
| cryptominisat_5.11.4+dfsg1-2build1_ppc64el.deb | 81566 | 25-Dec-2022 20:27 |
| cryptominisat_5.11.4+dfsg1-2build1_riscv64.deb | 81194 | 25-Dec-2022 21:54 |
| cryptominisat_5.11.4+dfsg1-2build1_s390x.deb | 76510 | 25-Dec-2022 20:27 |
| cryptominisat_5.11.4+dfsg1-3.debian.tar.xz | 6748 | 15-Jul-2023 05:38 |
| cryptominisat_5.11.4+dfsg1-3.dsc | 2459 | 15-Jul-2023 05:38 |
| cryptominisat_5.11.4+dfsg1-3_arm64.deb | 76346 | 15-Jul-2023 05:39 |
| cryptominisat_5.11.4+dfsg1-3_armhf.deb | 76364 | 15-Jul-2023 05:39 |
| cryptominisat_5.11.4+dfsg1-3_ppc64el.deb | 83104 | 15-Jul-2023 05:39 |
| cryptominisat_5.11.4+dfsg1-3_riscv64.deb | 83542 | 16-Jul-2023 08:40 |
| cryptominisat_5.11.4+dfsg1-3_s390x.deb | 81842 | 15-Jul-2023 05:39 |
| cryptominisat_5.11.4+dfsg1.orig.tar.xz | 530220 | 06-Nov-2022 03:16 |
| cryptominisat_5.8.0+dfsg1-2.debian.tar.xz | 6264 | 22-Feb-2022 23:24 |
| cryptominisat_5.8.0+dfsg1-2.dsc | 2408 | 22-Feb-2022 23:24 |
| cryptominisat_5.8.0+dfsg1-2_arm64.deb | 89080 | 22-Feb-2022 23:45 |
| cryptominisat_5.8.0+dfsg1-2_armhf.deb | 88634 | 22-Feb-2022 23:45 |
| cryptominisat_5.8.0+dfsg1-2_ppc64el.deb | 99378 | 22-Feb-2022 23:46 |
| cryptominisat_5.8.0+dfsg1-2_riscv64.deb | 96668 | 23-Feb-2022 02:29 |
| cryptominisat_5.8.0+dfsg1-2_s390x.deb | 90238 | 22-Feb-2022 23:46 |
| cryptominisat_5.8.0+dfsg1.orig.tar.xz | 451304 | 13-Jul-2020 17:24 |
| libcryptominisat5-5.11_5.11.4+dfsg1-2build1_arm..> | 426100 | 25-Dec-2022 20:26 |
| libcryptominisat5-5.11_5.11.4+dfsg1-2build1_arm..> | 506494 | 25-Dec-2022 20:27 |
| libcryptominisat5-5.11_5.11.4+dfsg1-2build1_ppc..> | 492674 | 25-Dec-2022 20:27 |
| libcryptominisat5-5.11_5.11.4+dfsg1-2build1_ris..> | 548264 | 25-Dec-2022 21:54 |
| libcryptominisat5-5.11_5.11.4+dfsg1-2build1_s39..> | 431392 | 25-Dec-2022 20:27 |
| libcryptominisat5-5.11_5.11.4+dfsg1-3_arm64.deb | 430856 | 15-Jul-2023 05:39 |
| libcryptominisat5-5.11_5.11.4+dfsg1-3_armhf.deb | 513800 | 15-Jul-2023 05:39 |
| libcryptominisat5-5.11_5.11.4+dfsg1-3_ppc64el.deb | 497012 | 15-Jul-2023 05:39 |
| libcryptominisat5-5.11_5.11.4+dfsg1-3_riscv64.deb | 585202 | 16-Jul-2023 08:40 |
| libcryptominisat5-5.11_5.11.4+dfsg1-3_s390x.deb | 507704 | 15-Jul-2023 05:39 |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_arm..> | 435180 | 28-Feb-2024 06:09 |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_arm..> | 522538 | 29-Feb-2024 11:20 |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_ppc..> | 503994 | 28-Feb-2024 06:09 |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_ris..> | 586298 | 01-Mar-2024 11:00 |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_s39..> | 508662 | 28-Feb-2024 06:09 |
| libcryptominisat5-5.8_5.8.0+dfsg1-2_arm64.deb | 374678 | 22-Feb-2022 23:45 |
| libcryptominisat5-5.8_5.8.0+dfsg1-2_armhf.deb | 425954 | 22-Feb-2022 23:45 |
| libcryptominisat5-5.8_5.8.0+dfsg1-2_ppc64el.deb | 472750 | 22-Feb-2022 23:46 |
| libcryptominisat5-5.8_5.8.0+dfsg1-2_riscv64.deb | 459880 | 23-Feb-2022 02:29 |
| libcryptominisat5-5.8_5.8.0+dfsg1-2_s390x.deb | 373806 | 22-Feb-2022 23:46 |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1_arm64.deb | 17732 | 28-Feb-2024 06:09 |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1_armhf.deb | 17728 | 29-Feb-2024 11:20 |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1_ppc64el..> | 17736 | 28-Feb-2024 06:09 |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1_riscv64..> | 17730 | 01-Mar-2024 11:00 |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1_s390x.deb | 17732 | 28-Feb-2024 06:09 |
| libcryptominisat5-dev_5.11.4+dfsg1-2build1_arm6..> | 17300 | 25-Dec-2022 20:26 |
| libcryptominisat5-dev_5.11.4+dfsg1-2build1_armh..> | 17306 | 25-Dec-2022 20:27 |
| libcryptominisat5-dev_5.11.4+dfsg1-2build1_ppc6..> | 17308 | 25-Dec-2022 20:27 |
| libcryptominisat5-dev_5.11.4+dfsg1-2build1_risc..> | 17302 | 25-Dec-2022 21:54 |
| libcryptominisat5-dev_5.11.4+dfsg1-2build1_s390..> | 17304 | 25-Dec-2022 20:27 |
| libcryptominisat5-dev_5.11.4+dfsg1-3_arm64.deb | 17302 | 15-Jul-2023 05:39 |
| libcryptominisat5-dev_5.11.4+dfsg1-3_armhf.deb | 17304 | 15-Jul-2023 05:39 |
| libcryptominisat5-dev_5.11.4+dfsg1-3_ppc64el.deb | 17310 | 15-Jul-2023 05:39 |
| libcryptominisat5-dev_5.11.4+dfsg1-3_riscv64.deb | 17304 | 16-Jul-2023 08:40 |
| libcryptominisat5-dev_5.11.4+dfsg1-3_s390x.deb | 17310 | 15-Jul-2023 05:39 |
| libcryptominisat5-dev_5.8.0+dfsg1-2_arm64.deb | 12974 | 22-Feb-2022 23:45 |
| libcryptominisat5-dev_5.8.0+dfsg1-2_armhf.deb | 12980 | 22-Feb-2022 23:45 |
| libcryptominisat5-dev_5.8.0+dfsg1-2_ppc64el.deb | 12984 | 22-Feb-2022 23:46 |
| libcryptominisat5-dev_5.8.0+dfsg1-2_riscv64.deb | 12974 | 23-Feb-2022 02:29 |
| libcryptominisat5-dev_5.8.0+dfsg1-2_s390x.deb | 12978 | 22-Feb-2022 23:46 |
| python3-cryptominisat_5.11.15+dfsg1-1.1_arm64.deb | 519256 | 28-Feb-2024 06:09 |
| python3-cryptominisat_5.11.15+dfsg1-1.1_armhf.deb | 524170 | 29-Feb-2024 11:20 |
| python3-cryptominisat_5.11.15+dfsg1-1.1_ppc64el..> | 634706 | 28-Feb-2024 06:09 |
| python3-cryptominisat_5.11.15+dfsg1-1.1_riscv64..> | 606826 | 01-Mar-2024 11:00 |
| python3-cryptominisat_5.11.15+dfsg1-1.1_s390x.deb | 594342 | 28-Feb-2024 06:09 |
| python3-cryptominisat_5.11.4+dfsg1-2build1_arm6..> | 519410 | 25-Dec-2022 20:26 |
| python3-cryptominisat_5.11.4+dfsg1-2build1_armh..> | 527206 | 25-Dec-2022 20:27 |
| python3-cryptominisat_5.11.4+dfsg1-2build1_ppc6..> | 634598 | 25-Dec-2022 20:27 |
| python3-cryptominisat_5.11.4+dfsg1-2build1_risc..> | 574548 | 25-Dec-2022 21:54 |
| python3-cryptominisat_5.11.4+dfsg1-2build1_s390..> | 517440 | 25-Dec-2022 20:27 |
| python3-cryptominisat_5.11.4+dfsg1-3_arm64.deb | 525764 | 15-Jul-2023 05:39 |
| python3-cryptominisat_5.11.4+dfsg1-3_armhf.deb | 534932 | 15-Jul-2023 05:39 |
| python3-cryptominisat_5.11.4+dfsg1-3_ppc64el.deb | 631732 | 15-Jul-2023 05:39 |
| python3-cryptominisat_5.11.4+dfsg1-3_riscv64.deb | 606602 | 16-Jul-2023 08:40 |
| python3-cryptominisat_5.11.4+dfsg1-3_s390x.deb | 598852 | 15-Jul-2023 05:39 |
| python3-cryptominisat_5.8.0+dfsg1-2_arm64.deb | 19248 | 22-Feb-2022 23:45 |
| python3-cryptominisat_5.8.0+dfsg1-2_armhf.deb | 18400 | 22-Feb-2022 23:45 |
| python3-cryptominisat_5.8.0+dfsg1-2_ppc64el.deb | 20712 | 22-Feb-2022 23:46 |
| python3-cryptominisat_5.8.0+dfsg1-2_riscv64.deb | 19270 | 23-Feb-2022 02:29 |
| python3-cryptominisat_5.8.0+dfsg1-2_s390x.deb | 19262 | 22-Feb-2022 23:46 |
