| ../ | | - | Directory |
| cryptominisat_5.11.15+dfsg1-1.1build1.debian.tar.xz | 2024-Apr-01 03:36:44 | 5.6K | application/x-xz |
| cryptominisat_5.11.15+dfsg1-1.1build1.dsc | 2024-Apr-01 03:36:44 | 2.5K | application/octet-stream |
| cryptominisat_5.11.15+dfsg1-1.1build1_arm64.deb | 2024-Apr-02 10:07:58 | 77.3K | application/vnd.debian.binary-package |
| cryptominisat_5.11.15+dfsg1-1.1build1_armhf.deb | 2024-Apr-02 10:08:32 | 77.4K | application/vnd.debian.binary-package |
| cryptominisat_5.11.15+dfsg1-1.1build1_ppc64el.deb | 2024-Apr-02 14:02:54 | 84.4K | application/vnd.debian.binary-package |
| cryptominisat_5.11.15+dfsg1-1.1build1_riscv64.deb | 2024-Apr-04 06:11:09 | 84.1K | application/vnd.debian.binary-package |
| cryptominisat_5.11.15+dfsg1-1.1build1_s390x.deb | 2024-Apr-02 20:03:14 | 82.7K | application/vnd.debian.binary-package |
| cryptominisat_5.11.15+dfsg1.orig.tar.xz | 2023-Dec-15 02:37:25 | 463.7K | application/x-xz |
| cryptominisat_5.11.21+dfsg1-1build1.debian.tar.xz | 2025-Jan-03 23:35:59 | 6.5K | application/x-xz |
| cryptominisat_5.11.21+dfsg1-1build1.dsc | 2025-Jan-03 23:36:00 | 2.4K | application/octet-stream |
| cryptominisat_5.11.21+dfsg1-1build1_arm64.deb | 2025-Jan-03 23:37:52 | 85.1K | application/vnd.debian.binary-package |
| cryptominisat_5.11.21+dfsg1-1build1_armhf.deb | 2025-Jan-03 23:38:35 | 86.9K | application/vnd.debian.binary-package |
| cryptominisat_5.11.21+dfsg1-1build1_ppc64el.deb | 2025-Jan-03 23:39:54 | 93.7K | application/vnd.debian.binary-package |
| cryptominisat_5.11.21+dfsg1-1build1_riscv64.deb | 2025-Jan-04 03:35:28 | 93.7K | application/vnd.debian.binary-package |
| cryptominisat_5.11.21+dfsg1-1build1_s390x.deb | 2025-Jan-03 23:40:31 | 94.5K | application/vnd.debian.binary-package |
| cryptominisat_5.11.21+dfsg1-2.debian.tar.xz | 2025-May-25 14:49:09 | 6.5K | application/x-xz |
| cryptominisat_5.11.21+dfsg1-2.dsc | 2025-May-25 14:49:09 | 2.4K | application/octet-stream |
| cryptominisat_5.11.21+dfsg1-2_arm64.deb | 2025-May-25 14:49:12 | 84.8K | application/vnd.debian.binary-package |
| cryptominisat_5.11.21+dfsg1-2_armhf.deb | 2025-May-25 14:49:13 | 87.3K | application/vnd.debian.binary-package |
| cryptominisat_5.11.21+dfsg1-2_ppc64el.deb | 2025-May-25 14:49:15 | 93.2K | application/vnd.debian.binary-package |
| cryptominisat_5.11.21+dfsg1-2_riscv64.deb | 2025-May-25 17:34:45 | 93.9K | application/vnd.debian.binary-package |
| cryptominisat_5.11.21+dfsg1-2_s390x.deb | 2025-May-25 14:49:16 | 94.8K | application/vnd.debian.binary-package |
| cryptominisat_5.11.21+dfsg1.orig.tar.xz | 2024-May-03 20:29:03 | 470.2K | application/x-xz |
| cryptominisat_5.8.0+dfsg1-2.debian.tar.xz | 2022-Feb-23 08:24:36 | 6.1K | application/x-xz |
| cryptominisat_5.8.0+dfsg1-2.dsc | 2022-Feb-23 08:24:36 | 2.3K | application/octet-stream |
| cryptominisat_5.8.0+dfsg1-2_arm64.deb | 2022-Feb-23 08:45:48 | 86.9K | application/vnd.debian.binary-package |
| cryptominisat_5.8.0+dfsg1-2_armhf.deb | 2022-Feb-23 08:45:56 | 86.5K | application/vnd.debian.binary-package |
| cryptominisat_5.8.0+dfsg1-2_ppc64el.deb | 2022-Feb-23 08:46:14 | 97.0K | application/vnd.debian.binary-package |
| cryptominisat_5.8.0+dfsg1-2_riscv64.deb | 2022-Feb-23 11:29:06 | 94.4K | application/vnd.debian.binary-package |
| cryptominisat_5.8.0+dfsg1-2_s390x.deb | 2022-Feb-23 08:46:34 | 88.1K | application/vnd.debian.binary-package |
| cryptominisat_5.8.0+dfsg1.orig.tar.xz | 2020-Jul-14 02:24:37 | 440.7K | application/x-xz |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_arm64.deb | 2024-Apr-02 10:07:58 | 425.0K | application/vnd.debian.binary-package |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_armhf.deb | 2024-Apr-02 10:08:32 | 510.3K | application/vnd.debian.binary-package |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_ppc64el.deb | 2024-Apr-02 14:02:53 | 492.2K | application/vnd.debian.binary-package |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_riscv64.deb | 2024-Apr-04 06:11:09 | 572.6K | application/vnd.debian.binary-package |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_s390x.deb | 2024-Apr-02 20:03:14 | 496.8K | application/vnd.debian.binary-package |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_arm64.deb | 2025-Jan-03 23:37:52 | 439.3K | application/vnd.debian.binary-package |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_armhf.deb | 2025-Jan-03 23:38:35 | 509.7K | application/vnd.debian.binary-package |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_ppc64el.deb | 2025-Jan-03 23:39:54 | 499.1K | application/vnd.debian.binary-package |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_riscv64.deb | 2025-Jan-04 03:35:28 | 579.5K | application/vnd.debian.binary-package |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_s390x.deb | 2025-Jan-03 23:40:31 | 500.9K | application/vnd.debian.binary-package |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-2_arm64.deb | 2025-May-25 14:49:12 | 437.8K | application/vnd.debian.binary-package |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-2_armhf.deb | 2025-May-25 14:49:13 | 506.8K | application/vnd.debian.binary-package |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-2_ppc64el.deb | 2025-May-25 14:49:15 | 497.7K | application/vnd.debian.binary-package |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-2_riscv64.deb | 2025-May-25 17:34:45 | 579.4K | application/vnd.debian.binary-package |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-2_s390x.deb | 2025-May-25 14:49:16 | 497.3K | application/vnd.debian.binary-package |
| libcryptominisat5-5.8_5.8.0+dfsg1-2_arm64.deb | 2022-Feb-23 08:45:48 | 365.9K | application/vnd.debian.binary-package |
| libcryptominisat5-5.8_5.8.0+dfsg1-2_armhf.deb | 2022-Feb-23 08:45:56 | 415.9K | application/vnd.debian.binary-package |
| libcryptominisat5-5.8_5.8.0+dfsg1-2_ppc64el.deb | 2022-Feb-23 08:46:14 | 461.6K | application/vnd.debian.binary-package |
| libcryptominisat5-5.8_5.8.0+dfsg1-2_riscv64.deb | 2022-Feb-23 11:29:06 | 449.1K | application/vnd.debian.binary-package |
| libcryptominisat5-5.8_5.8.0+dfsg1-2_s390x.deb | 2022-Feb-23 08:46:34 | 365.0K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_arm64.deb | 2024-Apr-02 10:07:58 | 17.3K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_armhf.deb | 2024-Apr-02 10:08:32 | 17.3K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_ppc64el.deb | 2024-Apr-02 14:02:53 | 17.3K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_riscv64.deb | 2024-Apr-04 06:11:08 | 17.3K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_s390x.deb | 2024-Apr-02 20:03:14 | 17.3K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.11.21+dfsg1-1build1_arm64.deb | 2025-Jan-03 23:37:52 | 17.4K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.11.21+dfsg1-1build1_armhf.deb | 2025-Jan-03 23:38:34 | 17.4K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.11.21+dfsg1-1build1_ppc64el.deb | 2025-Jan-03 23:39:53 | 17.4K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.11.21+dfsg1-1build1_riscv64.deb | 2025-Jan-04 03:35:28 | 17.4K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.11.21+dfsg1-1build1_s390x.deb | 2025-Jan-03 23:40:31 | 17.4K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.11.21+dfsg1-2_arm64.deb | 2025-May-25 14:49:12 | 17.4K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.11.21+dfsg1-2_armhf.deb | 2025-May-25 14:49:13 | 17.4K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.11.21+dfsg1-2_ppc64el.deb | 2025-May-25 14:49:14 | 17.4K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.11.21+dfsg1-2_riscv64.deb | 2025-May-25 17:34:45 | 17.4K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.11.21+dfsg1-2_s390x.deb | 2025-May-25 14:49:16 | 17.4K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.8.0+dfsg1-2_arm64.deb | 2022-Feb-23 08:45:48 | 12.6K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.8.0+dfsg1-2_armhf.deb | 2022-Feb-23 08:45:56 | 12.6K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.8.0+dfsg1-2_ppc64el.deb | 2022-Feb-23 08:46:14 | 12.6K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.8.0+dfsg1-2_riscv64.deb | 2022-Feb-23 11:29:06 | 12.6K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.8.0+dfsg1-2_s390x.deb | 2022-Feb-23 08:46:35 | 12.6K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.11.15+dfsg1-1.1build1_arm64.deb | 2024-Apr-02 10:07:58 | 507.1K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.11.15+dfsg1-1.1build1_armhf.deb | 2024-Apr-02 10:08:32 | 511.9K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.11.15+dfsg1-1.1build1_ppc64el.deb | 2024-Apr-02 14:02:53 | 619.9K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.11.15+dfsg1-1.1build1_riscv64.deb | 2024-Apr-04 06:11:08 | 592.7K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.11.15+dfsg1-1.1build1_s390x.deb | 2024-Apr-02 20:03:13 | 580.4K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.11.21+dfsg1-1build1_arm64.deb | 2025-Jan-03 23:37:52 | 564.6K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.11.21+dfsg1-1build1_armhf.deb | 2025-Jan-03 23:38:34 | 570.7K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.11.21+dfsg1-1build1_ppc64el.deb | 2025-Jan-03 23:39:53 | 669.1K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.11.21+dfsg1-1build1_riscv64.deb | 2025-Jan-04 03:35:28 | 652.9K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.11.21+dfsg1-1build1_s390x.deb | 2025-Jan-03 23:40:30 | 620.8K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.11.21+dfsg1-2_arm64.deb | 2025-May-25 14:49:11 | 570.7K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.11.21+dfsg1-2_armhf.deb | 2025-May-25 14:49:13 | 575.6K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.11.21+dfsg1-2_ppc64el.deb | 2025-May-25 14:49:14 | 677.0K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.11.21+dfsg1-2_riscv64.deb | 2025-May-25 17:34:45 | 661.0K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.11.21+dfsg1-2_s390x.deb | 2025-May-25 14:49:15 | 627.6K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.8.0+dfsg1-2_arm64.deb | 2022-Feb-23 08:45:48 | 18.8K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.8.0+dfsg1-2_armhf.deb | 2022-Feb-23 08:45:56 | 17.9K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.8.0+dfsg1-2_ppc64el.deb | 2022-Feb-23 08:46:14 | 20.2K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.8.0+dfsg1-2_riscv64.deb | 2022-Feb-23 11:29:06 | 18.8K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.8.0+dfsg1-2_s390x.deb | 2022-Feb-23 08:46:34 | 18.8K | application/vnd.debian.binary-package |