| Parent directory/ | - | - |
| cryptominisat_5.11.15+dfsg1-1.1build1.debian.tar..> | 5.6 KiB | 2024-Apr-01 03:36 |
| cryptominisat_5.11.15+dfsg1-1.1build1.dsc | 2.6 KiB | 2024-Apr-01 03:36 |
| cryptominisat_5.11.15+dfsg1-1.1build1_arm64.deb | 77.4 KiB | 2024-Apr-02 10:07 |
| cryptominisat_5.11.15+dfsg1-1.1build1_armhf.deb | 77.5 KiB | 2024-Apr-02 10:08 |
| cryptominisat_5.11.15+dfsg1-1.1build1_ppc64el.deb | 84.5 KiB | 2024-Apr-02 14:02 |
| cryptominisat_5.11.15+dfsg1-1.1build1_riscv64.deb | 84.2 KiB | 2024-Apr-04 06:11 |
| cryptominisat_5.11.15+dfsg1-1.1build1_s390x.deb | 82.8 KiB | 2024-Apr-02 20:03 |
| cryptominisat_5.11.15+dfsg1.orig.tar.xz | 463.7 KiB | 2023-Dec-15 02:37 |
| cryptominisat_5.11.4+dfsg1-2build1.debian.tar.xz | 5.3 KiB | 2022-Dec-26 05:25 |
| cryptominisat_5.11.4+dfsg1-2build1.dsc | 2.4 KiB | 2022-Dec-26 05:25 |
| cryptominisat_5.11.4+dfsg1-2build1_arm64.deb | 73.3 KiB | 2022-Dec-26 05:26 |
| cryptominisat_5.11.4+dfsg1-2build1_armhf.deb | 72.8 KiB | 2022-Dec-26 05:27 |
| cryptominisat_5.11.4+dfsg1-2build1_ppc64el.deb | 79.7 KiB | 2022-Dec-26 05:27 |
| cryptominisat_5.11.4+dfsg1-2build1_riscv64.deb | 79.3 KiB | 2022-Dec-26 06:54 |
| cryptominisat_5.11.4+dfsg1-2build1_s390x.deb | 74.7 KiB | 2022-Dec-26 05:27 |
| cryptominisat_5.11.4+dfsg1-3.debian.tar.xz | 6.6 KiB | 2023-Jul-15 14:38 |
| cryptominisat_5.11.4+dfsg1-3.dsc | 2.4 KiB | 2023-Jul-15 14:38 |
| cryptominisat_5.11.4+dfsg1-3_arm64.deb | 74.6 KiB | 2023-Jul-15 14:39 |
| cryptominisat_5.11.4+dfsg1-3_armhf.deb | 74.6 KiB | 2023-Jul-15 14:39 |
| cryptominisat_5.11.4+dfsg1-3_ppc64el.deb | 81.2 KiB | 2023-Jul-15 14:39 |
| cryptominisat_5.11.4+dfsg1-3_riscv64.deb | 81.6 KiB | 2023-Jul-16 17:40 |
| cryptominisat_5.11.4+dfsg1-3_s390x.deb | 79.9 KiB | 2023-Jul-15 14:39 |
| cryptominisat_5.11.4+dfsg1.orig.tar.xz | 517.8 KiB | 2022-Nov-06 12:16 |
| cryptominisat_5.8.0+dfsg1-2.debian.tar.xz | 6.1 KiB | 2022-Feb-23 08:24 |
| cryptominisat_5.8.0+dfsg1-2.dsc | 2.4 KiB | 2022-Feb-23 08:24 |
| cryptominisat_5.8.0+dfsg1-2_arm64.deb | 87.0 KiB | 2022-Feb-23 08:45 |
| cryptominisat_5.8.0+dfsg1-2_armhf.deb | 86.6 KiB | 2022-Feb-23 08:45 |
| cryptominisat_5.8.0+dfsg1-2_ppc64el.deb | 97.0 KiB | 2022-Feb-23 08:46 |
| cryptominisat_5.8.0+dfsg1-2_riscv64.deb | 94.4 KiB | 2022-Feb-23 11:29 |
| cryptominisat_5.8.0+dfsg1-2_s390x.deb | 88.1 KiB | 2022-Feb-23 08:46 |
| cryptominisat_5.8.0+dfsg1.orig.tar.xz | 440.7 KiB | 2020-Jul-14 02:24 |
| libcryptominisat5-5.11_5.11.4+dfsg1-2build1_arm6..> | 416.1 KiB | 2022-Dec-26 05:26 |
| libcryptominisat5-5.11_5.11.4+dfsg1-2build1_armh..> | 494.6 KiB | 2022-Dec-26 05:27 |
| libcryptominisat5-5.11_5.11.4+dfsg1-2build1_ppc6..> | 481.1 KiB | 2022-Dec-26 05:27 |
| libcryptominisat5-5.11_5.11.4+dfsg1-2build1_risc..> | 535.4 KiB | 2022-Dec-26 06:54 |
| libcryptominisat5-5.11_5.11.4+dfsg1-2build1_s390..> | 421.3 KiB | 2022-Dec-26 05:27 |
| libcryptominisat5-5.11_5.11.4+dfsg1-3_arm64.deb | 420.8 KiB | 2023-Jul-15 14:39 |
| libcryptominisat5-5.11_5.11.4+dfsg1-3_armhf.deb | 501.8 KiB | 2023-Jul-15 14:39 |
| libcryptominisat5-5.11_5.11.4+dfsg1-3_ppc64el.deb | 485.4 KiB | 2023-Jul-15 14:39 |
| libcryptominisat5-5.11_5.11.4+dfsg1-3_riscv64.deb | 571.5 KiB | 2023-Jul-16 17:40 |
| libcryptominisat5-5.11_5.11.4+dfsg1-3_s390x.deb | 495.8 KiB | 2023-Jul-15 14:39 |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build..> | 425.0 KiB | 2024-Apr-02 10:07 |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build..> | 510.4 KiB | 2024-Apr-02 10:08 |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build..> | 492.2 KiB | 2024-Apr-02 14:02 |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build..> | 572.6 KiB | 2024-Apr-04 06:11 |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build..> | 496.8 KiB | 2024-Apr-02 20:03 |
| libcryptominisat5-5.8_5.8.0+dfsg1-2_arm64.deb | 365.9 KiB | 2022-Feb-23 08:45 |
| libcryptominisat5-5.8_5.8.0+dfsg1-2_armhf.deb | 416.0 KiB | 2022-Feb-23 08:45 |
| libcryptominisat5-5.8_5.8.0+dfsg1-2_ppc64el.deb | 461.7 KiB | 2022-Feb-23 08:46 |
| libcryptominisat5-5.8_5.8.0+dfsg1-2_riscv64.deb | 449.1 KiB | 2022-Feb-23 11:29 |
| libcryptominisat5-5.8_5.8.0+dfsg1-2_s390x.deb | 365.0 KiB | 2022-Feb-23 08:46 |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_ar..> | 17.3 KiB | 2024-Apr-02 10:07 |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_ar..> | 17.3 KiB | 2024-Apr-02 10:08 |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_pp..> | 17.3 KiB | 2024-Apr-02 14:02 |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_ri..> | 17.3 KiB | 2024-Apr-04 06:11 |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_s3..> | 17.3 KiB | 2024-Apr-02 20:03 |
| libcryptominisat5-dev_5.11.4+dfsg1-2build1_arm64..> | 16.9 KiB | 2022-Dec-26 05:26 |
| libcryptominisat5-dev_5.11.4+dfsg1-2build1_armhf..> | 16.9 KiB | 2022-Dec-26 05:27 |
| libcryptominisat5-dev_5.11.4+dfsg1-2build1_ppc64..> | 16.9 KiB | 2022-Dec-26 05:27 |
| libcryptominisat5-dev_5.11.4+dfsg1-2build1_riscv..> | 16.9 KiB | 2022-Dec-26 06:54 |
| libcryptominisat5-dev_5.11.4+dfsg1-2build1_s390x..> | 16.9 KiB | 2022-Dec-26 05:27 |
| libcryptominisat5-dev_5.11.4+dfsg1-3_arm64.deb | 16.9 KiB | 2023-Jul-15 14:39 |
| libcryptominisat5-dev_5.11.4+dfsg1-3_armhf.deb | 16.9 KiB | 2023-Jul-15 14:39 |
| libcryptominisat5-dev_5.11.4+dfsg1-3_ppc64el.deb | 16.9 KiB | 2023-Jul-15 14:39 |
| libcryptominisat5-dev_5.11.4+dfsg1-3_riscv64.deb | 16.9 KiB | 2023-Jul-16 17:40 |
| libcryptominisat5-dev_5.11.4+dfsg1-3_s390x.deb | 16.9 KiB | 2023-Jul-15 14:39 |
| libcryptominisat5-dev_5.8.0+dfsg1-2_arm64.deb | 12.7 KiB | 2022-Feb-23 08:45 |
| libcryptominisat5-dev_5.8.0+dfsg1-2_armhf.deb | 12.7 KiB | 2022-Feb-23 08:45 |
| libcryptominisat5-dev_5.8.0+dfsg1-2_ppc64el.deb | 12.7 KiB | 2022-Feb-23 08:46 |
| libcryptominisat5-dev_5.8.0+dfsg1-2_riscv64.deb | 12.7 KiB | 2022-Feb-23 11:29 |
| libcryptominisat5-dev_5.8.0+dfsg1-2_s390x.deb | 12.7 KiB | 2022-Feb-23 08:46 |
| python3-cryptominisat_5.11.15+dfsg1-1.1build1_ar..> | 507.1 KiB | 2024-Apr-02 10:07 |
| python3-cryptominisat_5.11.15+dfsg1-1.1build1_ar..> | 511.9 KiB | 2024-Apr-02 10:08 |
| python3-cryptominisat_5.11.15+dfsg1-1.1build1_pp..> | 619.9 KiB | 2024-Apr-02 14:02 |
| python3-cryptominisat_5.11.15+dfsg1-1.1build1_ri..> | 592.7 KiB | 2024-Apr-04 06:11 |
| python3-cryptominisat_5.11.15+dfsg1-1.1build1_s3..> | 580.4 KiB | 2024-Apr-02 20:03 |
| python3-cryptominisat_5.11.4+dfsg1-2build1_arm64..> | 507.2 KiB | 2022-Dec-26 05:26 |
| python3-cryptominisat_5.11.4+dfsg1-2build1_armhf..> | 514.8 KiB | 2022-Dec-26 05:27 |
| python3-cryptominisat_5.11.4+dfsg1-2build1_ppc64..> | 619.7 KiB | 2022-Dec-26 05:27 |
| python3-cryptominisat_5.11.4+dfsg1-2build1_riscv..> | 561.1 KiB | 2022-Dec-26 06:54 |
| python3-cryptominisat_5.11.4+dfsg1-2build1_s390x..> | 505.3 KiB | 2022-Dec-26 05:27 |
| python3-cryptominisat_5.11.4+dfsg1-3_arm64.deb | 513.4 KiB | 2023-Jul-15 14:39 |
| python3-cryptominisat_5.11.4+dfsg1-3_armhf.deb | 522.4 KiB | 2023-Jul-15 14:39 |
| python3-cryptominisat_5.11.4+dfsg1-3_ppc64el.deb | 616.9 KiB | 2023-Jul-15 14:39 |
| python3-cryptominisat_5.11.4+dfsg1-3_riscv64.deb | 592.4 KiB | 2023-Jul-16 17:40 |
| python3-cryptominisat_5.11.4+dfsg1-3_s390x.deb | 584.8 KiB | 2023-Jul-15 14:39 |
| python3-cryptominisat_5.8.0+dfsg1-2_arm64.deb | 18.8 KiB | 2022-Feb-23 08:45 |
| python3-cryptominisat_5.8.0+dfsg1-2_armhf.deb | 18.0 KiB | 2022-Feb-23 08:45 |
| python3-cryptominisat_5.8.0+dfsg1-2_ppc64el.deb | 20.2 KiB | 2022-Feb-23 08:46 |
| python3-cryptominisat_5.8.0+dfsg1-2_riscv64.deb | 18.8 KiB | 2022-Feb-23 11:29 |
| python3-cryptominisat_5.8.0+dfsg1-2_s390x.deb | 18.8 KiB | 2022-Feb-23 08:46 |