| 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.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-3.debian.tar.xz | 2023-Jul-15 13:38:59 | 6.6K | application/x-xz |
| cryptominisat_5.11.4+dfsg1-3.dsc | 2023-Jul-15 13:38:59 | 2.4K | application/octet-stream |
| cryptominisat_5.11.4+dfsg1-3_arm64.deb | 2023-Jul-15 13:39:02 | 74.5K | application/vnd.debian.binary-package |
| cryptominisat_5.11.4+dfsg1-3_armhf.deb | 2023-Jul-15 13:39:03 | 74.5K | application/vnd.debian.binary-package |
| cryptominisat_5.11.4+dfsg1-3_ppc64el.deb | 2023-Jul-15 13:39:04 | 81.1K | application/vnd.debian.binary-package |
| cryptominisat_5.11.4+dfsg1-3_riscv64.deb | 2023-Jul-16 16:40:38 | 81.5K | application/vnd.debian.binary-package |
| cryptominisat_5.11.4+dfsg1-3_s390x.deb | 2023-Jul-15 13:39:05 | 79.9K | 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.11_5.11.4+dfsg1-3_arm64.deb | 2023-Jul-15 13:39:02 | 420.7K | application/vnd.debian.binary-package |
| libcryptominisat5-5.11_5.11.4+dfsg1-3_armhf.deb | 2023-Jul-15 13:39:02 | 501.7K | application/vnd.debian.binary-package |
| libcryptominisat5-5.11_5.11.4+dfsg1-3_ppc64el.deb | 2023-Jul-15 13:39:04 | 485.3K | application/vnd.debian.binary-package |
| libcryptominisat5-5.11_5.11.4+dfsg1-3_riscv64.deb | 2023-Jul-16 16:40:38 | 571.4K | application/vnd.debian.binary-package |
| libcryptominisat5-5.11_5.11.4+dfsg1-3_s390x.deb | 2023-Jul-15 13:39:05 | 495.8K | 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.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.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.11.4+dfsg1-3_arm64.deb | 2023-Jul-15 13:39:02 | 16.9K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.11.4+dfsg1-3_armhf.deb | 2023-Jul-15 13:39:02 | 16.9K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.11.4+dfsg1-3_ppc64el.deb | 2023-Jul-15 13:39:04 | 16.9K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.11.4+dfsg1-3_riscv64.deb | 2023-Jul-16 16:40:38 | 16.9K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.11.4+dfsg1-3_s390x.deb | 2023-Jul-15 13:39:05 | 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.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.11.4+dfsg1-3_arm64.deb | 2023-Jul-15 13:39:02 | 513.4K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.11.4+dfsg1-3_armhf.deb | 2023-Jul-15 13:39:03 | 522.4K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.11.4+dfsg1-3_ppc64el.deb | 2023-Jul-15 13:39:04 | 616.9K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.11.4+dfsg1-3_riscv64.deb | 2023-Jul-16 16:40:38 | 592.3K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.11.4+dfsg1-3_s390x.deb | 2023-Jul-15 13:39:05 | 584.8K | 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 |