| Parent Directory/ | | - | Directory |
| cryptominisat_5.11.15+dfsg1-1.1build1.debian.tar.xz | 2024-Apr-01 02:36:44 | 5.6K | application/x-xz |
| cryptominisat_5.11.15+dfsg1-1.1build1.dsc | 2024-Apr-01 02:36:44 | 2.5K | application/octet-stream |
| cryptominisat_5.11.15+dfsg1-1.1build1_arm64.deb | 2024-Apr-02 09:07:58 | 77.3K | application/vnd.debian.binary-package |
| cryptominisat_5.11.15+dfsg1-1.1build1_armhf.deb | 2024-Apr-02 09:08:32 | 77.4K | application/vnd.debian.binary-package |
| cryptominisat_5.11.15+dfsg1-1.1build1_ppc64el.deb | 2024-Apr-02 13:02:54 | 84.4K | application/vnd.debian.binary-package |
| cryptominisat_5.11.15+dfsg1-1.1build1_riscv64.deb | 2024-Apr-04 05:11:09 | 84.1K | application/vnd.debian.binary-package |
| cryptominisat_5.11.15+dfsg1-1.1build1_s390x.deb | 2024-Apr-02 19:03:14 | 82.7K | application/vnd.debian.binary-package |
| cryptominisat_5.11.15+dfsg1.orig.tar.xz | 2023-Dec-15 01:37:25 | 463.7K | application/x-xz |
| cryptominisat_5.11.21+dfsg1-1.debian.tar.xz | 2024-May-03 19:29:03 | 6.4K | application/x-xz |
| cryptominisat_5.11.21+dfsg1-1.dsc | 2024-May-03 19:29:03 | 2.4K | application/octet-stream |
| cryptominisat_5.11.21+dfsg1-1_arm64.deb | 2024-May-06 01:38:58 | 83.5K | application/vnd.debian.binary-package |
| cryptominisat_5.11.21+dfsg1-1_armhf.deb | 2024-May-09 19:31:12 | 85.5K | application/vnd.debian.binary-package |
| cryptominisat_5.11.21+dfsg1-1_ppc64el.deb | 2024-May-03 20:05:22 | 93.1K | application/vnd.debian.binary-package |
| cryptominisat_5.11.21+dfsg1-1_riscv64.deb | 2024-May-05 19:18:39 | 93.6K | application/vnd.debian.binary-package |
| cryptominisat_5.11.21+dfsg1-1_s390x.deb | 2024-May-03 20:40:14 | 93.4K | application/vnd.debian.binary-package |
| cryptominisat_5.11.21+dfsg1.orig.tar.xz | 2024-May-03 19:29:03 | 470.2K | application/x-xz |
| cryptominisat_5.11.4+dfsg1-2build1.debian.tar.xz | 2022-Dec-26 04:25:56 | 5.3K | application/x-xz |
| cryptominisat_5.11.4+dfsg1-2build1.dsc | 2022-Dec-26 04:25:56 | 2.4K | application/octet-stream |
| cryptominisat_5.11.4+dfsg1-2build1_arm64.deb | 2022-Dec-26 04:26:41 | 73.2K | application/vnd.debian.binary-package |
| cryptominisat_5.11.4+dfsg1-2build1_armhf.deb | 2022-Dec-26 04:27:08 | 72.8K | application/vnd.debian.binary-package |
| cryptominisat_5.11.4+dfsg1-2build1_ppc64el.deb | 2022-Dec-26 04:27:38 | 79.6K | application/vnd.debian.binary-package |
| cryptominisat_5.11.4+dfsg1-2build1_riscv64.deb | 2022-Dec-26 05:54:03 | 79.2K | application/vnd.debian.binary-package |
| cryptominisat_5.11.4+dfsg1-2build1_s390x.deb | 2022-Dec-26 04:27:56 | 74.7K | application/vnd.debian.binary-package |
| cryptominisat_5.11.4+dfsg1.orig.tar.xz | 2022-Nov-06 11:16:53 | 517.8K | application/x-xz |
| cryptominisat_5.8.0+dfsg1-2.debian.tar.xz | 2022-Feb-23 07:24:36 | 6.1K | application/x-xz |
| cryptominisat_5.8.0+dfsg1-2.dsc | 2022-Feb-23 07:24:36 | 2.3K | application/octet-stream |
| cryptominisat_5.8.0+dfsg1-2_arm64.deb | 2022-Feb-23 07:45:48 | 86.9K | application/vnd.debian.binary-package |
| cryptominisat_5.8.0+dfsg1-2_armhf.deb | 2022-Feb-23 07:45:56 | 86.5K | application/vnd.debian.binary-package |
| cryptominisat_5.8.0+dfsg1-2_ppc64el.deb | 2022-Feb-23 07:46:14 | 97.0K | application/vnd.debian.binary-package |
| cryptominisat_5.8.0+dfsg1-2_riscv64.deb | 2022-Feb-23 10:29:06 | 94.4K | application/vnd.debian.binary-package |
| cryptominisat_5.8.0+dfsg1-2_s390x.deb | 2022-Feb-23 07:46:34 | 88.1K | application/vnd.debian.binary-package |
| cryptominisat_5.8.0+dfsg1.orig.tar.xz | 2020-Jul-14 01:24:37 | 440.7K | application/x-xz |
| libcryptominisat5-5.11_5.11.4+dfsg1-2build1_arm64.deb | 2022-Dec-26 04:26:41 | 416.1K | application/vnd.debian.binary-package |
| libcryptominisat5-5.11_5.11.4+dfsg1-2build1_armhf.deb | 2022-Dec-26 04:27:08 | 494.6K | application/vnd.debian.binary-package |
| libcryptominisat5-5.11_5.11.4+dfsg1-2build1_ppc64el.deb | 2022-Dec-26 04:27:39 | 481.1K | application/vnd.debian.binary-package |
| libcryptominisat5-5.11_5.11.4+dfsg1-2build1_riscv64.deb | 2022-Dec-26 05:54:03 | 535.4K | application/vnd.debian.binary-package |
| libcryptominisat5-5.11_5.11.4+dfsg1-2build1_s390x.deb | 2022-Dec-26 04:27:57 | 421.2K | application/vnd.debian.binary-package |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_arm64.deb | 2024-Apr-02 09:07:58 | 425.0K | application/vnd.debian.binary-package |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_armhf.deb | 2024-Apr-02 09:08:32 | 510.3K | application/vnd.debian.binary-package |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_ppc64el.deb | 2024-Apr-02 13:02:53 | 492.2K | application/vnd.debian.binary-package |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_riscv64.deb | 2024-Apr-04 05:11:09 | 572.6K | application/vnd.debian.binary-package |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_s390x.deb | 2024-Apr-02 19:03:14 | 496.8K | application/vnd.debian.binary-package |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1_arm64.deb | 2024-May-06 01:38:58 | 426.1K | application/vnd.debian.binary-package |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1_armhf.deb | 2024-May-09 19:31:12 | 501.4K | application/vnd.debian.binary-package |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1_ppc64el.deb | 2024-May-03 20:05:22 | 490.3K | application/vnd.debian.binary-package |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1_riscv64.deb | 2024-May-05 19:18:39 | 571.7K | application/vnd.debian.binary-package |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1_s390x.deb | 2024-May-03 20:40:14 | 494.7K | application/vnd.debian.binary-package |
| libcryptominisat5-5.8_5.8.0+dfsg1-2_arm64.deb | 2022-Feb-23 07:45:48 | 365.9K | application/vnd.debian.binary-package |
| libcryptominisat5-5.8_5.8.0+dfsg1-2_armhf.deb | 2022-Feb-23 07:45:56 | 415.9K | application/vnd.debian.binary-package |
| libcryptominisat5-5.8_5.8.0+dfsg1-2_ppc64el.deb | 2022-Feb-23 07:46:14 | 461.6K | application/vnd.debian.binary-package |
| libcryptominisat5-5.8_5.8.0+dfsg1-2_riscv64.deb | 2022-Feb-23 10:29:06 | 449.1K | application/vnd.debian.binary-package |
| libcryptominisat5-5.8_5.8.0+dfsg1-2_s390x.deb | 2022-Feb-23 07:46:34 | 365.0K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_arm64.deb | 2024-Apr-02 09:07:58 | 17.3K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_armhf.deb | 2024-Apr-02 09:08:32 | 17.3K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_ppc64el.deb | 2024-Apr-02 13:02:53 | 17.3K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_riscv64.deb | 2024-Apr-04 05:11:08 | 17.3K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_s390x.deb | 2024-Apr-02 19:03:14 | 17.3K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.11.21+dfsg1-1_arm64.deb | 2024-May-06 01:38:58 | 17.3K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.11.21+dfsg1-1_armhf.deb | 2024-May-09 19:31:12 | 17.3K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.11.21+dfsg1-1_ppc64el.deb | 2024-May-03 20:05:22 | 17.4K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.11.21+dfsg1-1_riscv64.deb | 2024-May-05 19:18:39 | 17.3K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.11.21+dfsg1-1_s390x.deb | 2024-May-03 20:40:14 | 17.3K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.11.4+dfsg1-2build1_arm64.deb | 2022-Dec-26 04:26:41 | 16.9K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.11.4+dfsg1-2build1_armhf.deb | 2022-Dec-26 04:27:09 | 16.9K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.11.4+dfsg1-2build1_ppc64el.deb | 2022-Dec-26 04:27:38 | 16.9K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.11.4+dfsg1-2build1_riscv64.deb | 2022-Dec-26 05:54:03 | 16.9K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.11.4+dfsg1-2build1_s390x.deb | 2022-Dec-26 04:27:56 | 16.9K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.8.0+dfsg1-2_arm64.deb | 2022-Feb-23 07:45:48 | 12.6K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.8.0+dfsg1-2_armhf.deb | 2022-Feb-23 07:45:56 | 12.6K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.8.0+dfsg1-2_ppc64el.deb | 2022-Feb-23 07:46:14 | 12.6K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.8.0+dfsg1-2_riscv64.deb | 2022-Feb-23 10:29:06 | 12.6K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.8.0+dfsg1-2_s390x.deb | 2022-Feb-23 07:46:35 | 12.6K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.11.15+dfsg1-1.1build1_arm64.deb | 2024-Apr-02 09:07:58 | 507.1K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.11.15+dfsg1-1.1build1_armhf.deb | 2024-Apr-02 09:08:32 | 511.9K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.11.15+dfsg1-1.1build1_ppc64el.deb | 2024-Apr-02 13:02:53 | 619.9K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.11.15+dfsg1-1.1build1_riscv64.deb | 2024-Apr-04 05:11:08 | 592.7K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.11.15+dfsg1-1.1build1_s390x.deb | 2024-Apr-02 19:03:13 | 580.4K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.11.21+dfsg1-1_arm64.deb | 2024-May-06 01:38:57 | 508.1K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.11.21+dfsg1-1_armhf.deb | 2024-May-09 19:31:12 | 511.0K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.11.21+dfsg1-1_ppc64el.deb | 2024-May-03 20:05:22 | 612.9K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.11.21+dfsg1-1_riscv64.deb | 2024-May-05 19:18:39 | 591.8K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.11.21+dfsg1-1_s390x.deb | 2024-May-03 20:40:14 | 572.9K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.11.4+dfsg1-2build1_arm64.deb | 2022-Dec-26 04:26:41 | 507.2K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.11.4+dfsg1-2build1_armhf.deb | 2022-Dec-26 04:27:08 | 514.8K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.11.4+dfsg1-2build1_ppc64el.deb | 2022-Dec-26 04:27:39 | 619.7K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.11.4+dfsg1-2build1_riscv64.deb | 2022-Dec-26 05:54:03 | 561.0K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.11.4+dfsg1-2build1_s390x.deb | 2022-Dec-26 04:27:57 | 505.3K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.8.0+dfsg1-2_arm64.deb | 2022-Feb-23 07:45:48 | 18.8K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.8.0+dfsg1-2_armhf.deb | 2022-Feb-23 07:45:56 | 17.9K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.8.0+dfsg1-2_ppc64el.deb | 2022-Feb-23 07:46:14 | 20.2K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.8.0+dfsg1-2_riscv64.deb | 2022-Feb-23 10:29:06 | 18.8K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.8.0+dfsg1-2_s390x.deb | 2022-Feb-23 07:46:34 | 18.8K | application/vnd.debian.binary-package |