| Parent directory/ | - | - |
| cryptominisat_5.8.0+dfsg1-2.dsc | 2.4 KiB | 2022-02-22T23:24Z |
| cryptominisat_5.11.4+dfsg1-2build1.dsc | 2.4 KiB | 2022-12-25T20:25Z |
| cryptominisat_5.11.21+dfsg1-1.dsc | 2.4 KiB | 2024-05-03T11:29Z |
| cryptominisat_5.11.15+dfsg1-1.1build1.dsc | 2.6 KiB | 2024-03-31T18:36Z |
| cryptominisat_5.11.4+dfsg1-2build1.debian.tar.xz | 5.3 KiB | 2022-12-25T20:25Z |
| cryptominisat_5.11.15+dfsg1-1.1build1.debian.tar.xz | 5.6 KiB | 2024-03-31T18:36Z |
| cryptominisat_5.8.0+dfsg1-2.debian.tar.xz | 6.1 KiB | 2022-02-22T23:24Z |
| cryptominisat_5.11.21+dfsg1-1.debian.tar.xz | 6.5 KiB | 2024-05-03T11:29Z |
| libcryptominisat5-dev_5.8.0+dfsg1-2_riscv64.deb | 12.7 KiB | 2022-02-23T02:29Z |
| libcryptominisat5-dev_5.8.0+dfsg1-2_arm64.deb | 12.7 KiB | 2022-02-22T23:45Z |
| libcryptominisat5-dev_5.8.0+dfsg1-2_s390x.deb | 12.7 KiB | 2022-02-22T23:46Z |
| libcryptominisat5-dev_5.8.0+dfsg1-2_armhf.deb | 12.7 KiB | 2022-02-22T23:45Z |
| libcryptominisat5-dev_5.8.0+dfsg1-2_ppc64el.deb | 12.7 KiB | 2022-02-22T23:46Z |
| libcryptominisat5-dev_5.11.4+dfsg1-2build1_arm64.deb | 16.9 KiB | 2022-12-25T20:26Z |
| libcryptominisat5-dev_5.11.4+dfsg1-2build1_riscv64.deb | 16.9 KiB | 2022-12-25T21:54Z |
| libcryptominisat5-dev_5.11.4+dfsg1-2build1_s390x.deb | 16.9 KiB | 2022-12-25T20:27Z |
| libcryptominisat5-dev_5.11.4+dfsg1-2build1_armhf.deb | 16.9 KiB | 2022-12-25T20:27Z |
| libcryptominisat5-dev_5.11.4+dfsg1-2build1_ppc64el.deb | 16.9 KiB | 2022-12-25T20:27Z |
| libcryptominisat5-dev_5.11.21+dfsg1-1_armhf.deb | 17.3 KiB | 2024-05-09T11:31Z |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_s390x.deb | 17.3 KiB | 2024-04-02T11:03Z |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_arm64.deb | 17.3 KiB | 2024-04-02T01:07Z |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_riscv64.deb | 17.3 KiB | 2024-04-03T21:11Z |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_armhf.deb | 17.3 KiB | 2024-04-02T01:08Z |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_ppc64el.deb | 17.3 KiB | 2024-04-02T05:02Z |
| libcryptominisat5-dev_5.11.21+dfsg1-1_arm64.deb | 17.4 KiB | 2024-05-05T17:38Z |
| libcryptominisat5-dev_5.11.21+dfsg1-1_riscv64.deb | 17.4 KiB | 2024-05-05T11:18Z |
| libcryptominisat5-dev_5.11.21+dfsg1-1_s390x.deb | 17.4 KiB | 2024-05-03T12:40Z |
| libcryptominisat5-dev_5.11.21+dfsg1-1_ppc64el.deb | 17.4 KiB | 2024-05-03T12:05Z |
| python3-cryptominisat_5.8.0+dfsg1-2_armhf.deb | 18.0 KiB | 2022-02-22T23:45Z |
| python3-cryptominisat_5.8.0+dfsg1-2_arm64.deb | 18.8 KiB | 2022-02-22T23:45Z |
| python3-cryptominisat_5.8.0+dfsg1-2_s390x.deb | 18.8 KiB | 2022-02-22T23:46Z |
| python3-cryptominisat_5.8.0+dfsg1-2_riscv64.deb | 18.8 KiB | 2022-02-23T02:29Z |
| python3-cryptominisat_5.8.0+dfsg1-2_ppc64el.deb | 20.2 KiB | 2022-02-22T23:46Z |
| cryptominisat_5.11.4+dfsg1-2build1_armhf.deb | 72.8 KiB | 2022-12-25T20:27Z |
| cryptominisat_5.11.4+dfsg1-2build1_arm64.deb | 73.3 KiB | 2022-12-25T20:26Z |
| cryptominisat_5.11.4+dfsg1-2build1_s390x.deb | 74.7 KiB | 2022-12-25T20:27Z |
| cryptominisat_5.11.15+dfsg1-1.1build1_arm64.deb | 77.4 KiB | 2024-04-02T01:07Z |
| cryptominisat_5.11.15+dfsg1-1.1build1_armhf.deb | 77.5 KiB | 2024-04-02T01:08Z |
| cryptominisat_5.11.4+dfsg1-2build1_riscv64.deb | 79.3 KiB | 2022-12-25T21:54Z |
| cryptominisat_5.11.4+dfsg1-2build1_ppc64el.deb | 79.7 KiB | 2022-12-25T20:27Z |
| cryptominisat_5.11.15+dfsg1-1.1build1_s390x.deb | 82.8 KiB | 2024-04-02T11:03Z |
| cryptominisat_5.11.21+dfsg1-1_arm64.deb | 83.5 KiB | 2024-05-05T17:38Z |
| cryptominisat_5.11.15+dfsg1-1.1build1_riscv64.deb | 84.2 KiB | 2024-04-03T21:11Z |
| cryptominisat_5.11.15+dfsg1-1.1build1_ppc64el.deb | 84.5 KiB | 2024-04-02T05:02Z |
| cryptominisat_5.11.21+dfsg1-1_armhf.deb | 85.5 KiB | 2024-05-09T11:31Z |
| cryptominisat_5.8.0+dfsg1-2_armhf.deb | 86.6 KiB | 2022-02-22T23:45Z |
| cryptominisat_5.8.0+dfsg1-2_arm64.deb | 87.0 KiB | 2022-02-22T23:45Z |
| cryptominisat_5.8.0+dfsg1-2_s390x.deb | 88.1 KiB | 2022-02-22T23:46Z |
| cryptominisat_5.11.21+dfsg1-1_ppc64el.deb | 93.2 KiB | 2024-05-03T12:05Z |
| cryptominisat_5.11.21+dfsg1-1_s390x.deb | 93.5 KiB | 2024-05-03T12:40Z |
| cryptominisat_5.11.21+dfsg1-1_riscv64.deb | 93.7 KiB | 2024-05-05T11:18Z |
| cryptominisat_5.8.0+dfsg1-2_riscv64.deb | 94.4 KiB | 2022-02-23T02:29Z |
| cryptominisat_5.8.0+dfsg1-2_ppc64el.deb | 97.0 KiB | 2022-02-22T23:46Z |
| libcryptominisat5-5.8_5.8.0+dfsg1-2_s390x.deb | 365.0 KiB | 2022-02-22T23:46Z |
| libcryptominisat5-5.8_5.8.0+dfsg1-2_arm64.deb | 365.9 KiB | 2022-02-22T23:45Z |
| libcryptominisat5-5.8_5.8.0+dfsg1-2_armhf.deb | 416.0 KiB | 2022-02-22T23:45Z |
| libcryptominisat5-5.11_5.11.4+dfsg1-2build1_arm64.deb | 416.1 KiB | 2022-12-25T20:26Z |
| libcryptominisat5-5.11_5.11.4+dfsg1-2build1_s390x.deb | 421.3 KiB | 2022-12-25T20:27Z |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_arm64.deb | 425.0 KiB | 2024-04-02T01:07Z |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1_arm64.deb | 426.1 KiB | 2024-05-05T17:38Z |
| cryptominisat_5.8.0+dfsg1.orig.tar.xz | 440.7 KiB | 2020-07-13T17:24Z |
| libcryptominisat5-5.8_5.8.0+dfsg1-2_riscv64.deb | 449.1 KiB | 2022-02-23T02:29Z |
| libcryptominisat5-5.8_5.8.0+dfsg1-2_ppc64el.deb | 461.7 KiB | 2022-02-22T23:46Z |
| cryptominisat_5.11.15+dfsg1.orig.tar.xz | 463.7 KiB | 2023-12-14T17:37Z |
| cryptominisat_5.11.21+dfsg1.orig.tar.xz | 470.2 KiB | 2024-05-03T11:29Z |
| libcryptominisat5-5.11_5.11.4+dfsg1-2build1_ppc64el.deb | 481.1 KiB | 2022-12-25T20:27Z |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1_ppc64el.deb | 490.3 KiB | 2024-05-03T12:05Z |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_ppc64el.deb | 492.2 KiB | 2024-04-02T05:02Z |
| libcryptominisat5-5.11_5.11.4+dfsg1-2build1_armhf.deb | 494.6 KiB | 2022-12-25T20:27Z |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1_s390x.deb | 494.7 KiB | 2024-05-03T12:40Z |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_s390x.deb | 496.8 KiB | 2024-04-02T11:03Z |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1_armhf.deb | 501.4 KiB | 2024-05-09T11:31Z |
| python3-cryptominisat_5.11.4+dfsg1-2build1_s390x.deb | 505.3 KiB | 2022-12-25T20:27Z |
| python3-cryptominisat_5.11.15+dfsg1-1.1build1_arm64.deb | 507.1 KiB | 2024-04-02T01:07Z |
| python3-cryptominisat_5.11.4+dfsg1-2build1_arm64.deb | 507.2 KiB | 2022-12-25T20:26Z |
| python3-cryptominisat_5.11.21+dfsg1-1_arm64.deb | 508.2 KiB | 2024-05-05T17:38Z |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_armhf.deb | 510.4 KiB | 2024-04-02T01:08Z |
| python3-cryptominisat_5.11.21+dfsg1-1_armhf.deb | 511.1 KiB | 2024-05-09T11:31Z |
| python3-cryptominisat_5.11.15+dfsg1-1.1build1_armhf.deb | 511.9 KiB | 2024-04-02T01:08Z |
| python3-cryptominisat_5.11.4+dfsg1-2build1_armhf.deb | 514.8 KiB | 2022-12-25T20:27Z |
| cryptominisat_5.11.4+dfsg1.orig.tar.xz | 517.8 KiB | 2022-11-06T03:16Z |
| libcryptominisat5-5.11_5.11.4+dfsg1-2build1_riscv64.deb | 535.4 KiB | 2022-12-25T21:54Z |
| python3-cryptominisat_5.11.4+dfsg1-2build1_riscv64.deb | 561.1 KiB | 2022-12-25T21:54Z |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1_riscv64.deb | 571.7 KiB | 2024-05-05T11:18Z |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_riscv64.deb | 572.6 KiB | 2024-04-03T21:11Z |
| python3-cryptominisat_5.11.21+dfsg1-1_s390x.deb | 572.9 KiB | 2024-05-03T12:40Z |
| python3-cryptominisat_5.11.15+dfsg1-1.1build1_s390x.deb | 580.4 KiB | 2024-04-02T11:03Z |
| python3-cryptominisat_5.11.21+dfsg1-1_riscv64.deb | 591.8 KiB | 2024-05-05T11:18Z |
| python3-cryptominisat_5.11.15+dfsg1-1.1build1_riscv64.deb | 592.7 KiB | 2024-04-03T21:11Z |
| python3-cryptominisat_5.11.21+dfsg1-1_ppc64el.deb | 613.0 KiB | 2024-05-03T12:05Z |
| python3-cryptominisat_5.11.4+dfsg1-2build1_ppc64el.deb | 619.7 KiB | 2022-12-25T20:27Z |
| python3-cryptominisat_5.11.15+dfsg1-1.1build1_ppc64el.deb | 619.9 KiB | 2024-04-02T05:02Z |
