| / | | |
| cryptominisat_5.11.21+dfsg1-2.debian.tar.xz | 6,696 | Sat, 24 May 2025 22:55:14 +0000 |
| cryptominisat_5.11.21+dfsg1-2.dsc | 2,519 | Sat, 24 May 2025 22:55:14 +0000 |
| cryptominisat_5.11.21+dfsg1-2_amd64.deb | 91,392 | Sat, 24 May 2025 23:21:25 +0000 |
| cryptominisat_5.11.21+dfsg1-2_arm64.deb | 81,248 | Sat, 24 May 2025 23:32:07 +0000 |
| cryptominisat_5.11.21+dfsg1-2_armel.deb | 80,612 | Sat, 24 May 2025 23:21:40 +0000 |
| cryptominisat_5.11.21+dfsg1-2_armhf.deb | 83,528 | Sat, 24 May 2025 23:21:43 +0000 |
| cryptominisat_5.11.21+dfsg1-2_i386.deb | 97,708 | Sat, 24 May 2025 23:21:24 +0000 |
| cryptominisat_5.11.21+dfsg1-2_mips64el.deb | 84,520 | Sat, 24 May 2025 23:52:42 +0000 |
| cryptominisat_5.11.21+dfsg1-2_ppc64el.deb | 90,812 | Sat, 24 May 2025 23:21:44 +0000 |
| cryptominisat_5.11.21+dfsg1-2_riscv64.deb | 89,492 | Sun, 25 May 2025 00:08:28 +0000 |
| cryptominisat_5.11.21+dfsg1-2_s390x.deb | 87,664 | Sat, 24 May 2025 23:21:40 +0000 |
| cryptominisat_5.11.21+dfsg1.orig.tar.xz | 481,480 | Fri, 03 May 2024 06:30:46 +0000 |
| cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb | 77,096 | Tue, 03 Jan 2023 06:27:49 +0000 |
| cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb | 70,876 | Tue, 03 Jan 2023 06:58:45 +0000 |
| cryptominisat_5.11.4+dfsg1-2+b1_armel.deb | 67,252 | Tue, 03 Jan 2023 06:59:03 +0000 |
| cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb | 69,060 | Tue, 03 Jan 2023 06:58:43 +0000 |
| cryptominisat_5.11.4+dfsg1-2+b1_i386.deb | 81,072 | Tue, 03 Jan 2023 07:45:01 +0000 |
| cryptominisat_5.11.4+dfsg1-2+b1_mips64el.deb | 72,064 | Tue, 03 Jan 2023 06:12:19 +0000 |
| cryptominisat_5.11.4+dfsg1-2+b1_mipsel.deb | 73,204 | Tue, 03 Jan 2023 06:43:33 +0000 |
| cryptominisat_5.11.4+dfsg1-2+b1_ppc64el.deb | 78,652 | Wed, 04 Jan 2023 23:55:58 +0000 |
| cryptominisat_5.11.4+dfsg1-2+b1_s390x.deb | 70,820 | Fri, 06 Jan 2023 00:56:18 +0000 |
| cryptominisat_5.11.4+dfsg1-2.debian.tar.xz | 5,360 | Thu, 03 Nov 2022 19:09:23 +0000 |
| cryptominisat_5.11.4+dfsg1-2.dsc | 2,459 | Thu, 03 Nov 2022 19:09:23 +0000 |
| cryptominisat_5.11.4+dfsg1.orig.tar.xz | 530,220 | Fri, 28 Oct 2022 21:20:08 +0000 |
| cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb | 88,028 | Sat, 12 Dec 2020 14:13:58 +0000 |
| cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb | 82,508 | Sat, 12 Dec 2020 12:00:17 +0000 |
| cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb | 82,132 | Sat, 12 Dec 2020 15:26:42 +0000 |
| cryptominisat_5.8.0+dfsg1-1+b3_i386.deb | 93,104 | Sat, 12 Dec 2020 14:39:56 +0000 |
| cryptominisat_5.8.0+dfsg1-1.debian.tar.xz | 6,188 | Sat, 11 Jul 2020 14:16:37 +0000 |
| cryptominisat_5.8.0+dfsg1-1.dsc | 2,408 | Sat, 11 Jul 2020 14:16:37 +0000 |
| cryptominisat_5.8.0+dfsg1.orig.tar.xz | 451,304 | Sat, 11 Jul 2020 14:16:37 +0000 |
| libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_amd64.deb | 502,056 | Tue, 03 Jan 2023 06:27:49 +0000 |
| libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_arm64.deb | 450,988 | Tue, 03 Jan 2023 06:58:45 +0000 |
| libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armel.deb | 442,452 | Tue, 03 Jan 2023 06:59:03 +0000 |
| libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armhf.deb | 461,036 | Tue, 03 Jan 2023 06:58:43 +0000 |
| libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_i386.deb | 528,160 | Tue, 03 Jan 2023 07:45:01 +0000 |
| libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_mips64el.deb | 474,012 | Tue, 03 Jan 2023 06:12:19 +0000 |
| libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_mipsel.deb | 488,440 | Tue, 03 Jan 2023 06:43:33 +0000 |
| libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_ppc64el.deb | 542,608 | Wed, 04 Jan 2023 23:55:58 +0000 |
| libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_s390x.deb | 459,540 | Fri, 06 Jan 2023 00:56:18 +0000 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-2_amd64.deb | 521,412 | Sat, 24 May 2025 23:21:25 +0000 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-2_arm64.deb | 471,604 | Sat, 24 May 2025 23:32:07 +0000 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-2_armel.deb | 453,632 | Sat, 24 May 2025 23:21:40 +0000 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-2_armhf.deb | 473,640 | Sat, 24 May 2025 23:21:43 +0000 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-2_i386.deb | 548,920 | Sat, 24 May 2025 23:21:24 +0000 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-2_mips64el.deb | 484,720 | Sat, 24 May 2025 23:52:42 +0000 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-2_ppc64el.deb | 556,300 | Sat, 24 May 2025 23:21:44 +0000 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-2_riscv64.deb | 547,128 | Sun, 25 May 2025 00:08:28 +0000 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-2_s390x.deb | 546,868 | Sat, 24 May 2025 23:21:40 +0000 |
| libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_amd64.deb | 416,028 | Sat, 12 Dec 2020 14:13:58 +0000 |
| libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_arm64.deb | 378,996 | Sat, 12 Dec 2020 12:00:17 +0000 |
| libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_armhf.deb | 384,732 | Sat, 12 Dec 2020 15:26:42 +0000 |
| libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_i386.deb | 441,940 | Sat, 12 Dec 2020 14:39:56 +0000 |
| libcryptominisat5-dev_5.11.21+dfsg1-2_amd64.deb | 18,816 | Sat, 24 May 2025 23:21:25 +0000 |
| libcryptominisat5-dev_5.11.21+dfsg1-2_arm64.deb | 18,820 | Sat, 24 May 2025 23:32:07 +0000 |
| libcryptominisat5-dev_5.11.21+dfsg1-2_armel.deb | 18,812 | Sat, 24 May 2025 23:21:40 +0000 |
| libcryptominisat5-dev_5.11.21+dfsg1-2_armhf.deb | 18,816 | Sat, 24 May 2025 23:21:43 +0000 |
| libcryptominisat5-dev_5.11.21+dfsg1-2_i386.deb | 18,816 | Sat, 24 May 2025 23:21:24 +0000 |
| libcryptominisat5-dev_5.11.21+dfsg1-2_mips64el.deb | 18,832 | Sat, 24 May 2025 23:52:42 +0000 |
| libcryptominisat5-dev_5.11.21+dfsg1-2_ppc64el.deb | 18,820 | Sat, 24 May 2025 23:21:44 +0000 |
| libcryptominisat5-dev_5.11.21+dfsg1-2_riscv64.deb | 18,824 | Sun, 25 May 2025 00:08:28 +0000 |
| libcryptominisat5-dev_5.11.21+dfsg1-2_s390x.deb | 18,816 | Sat, 24 May 2025 23:21:40 +0000 |
| libcryptominisat5-dev_5.11.4+dfsg1-2+b1_amd64.deb | 18,324 | Tue, 03 Jan 2023 06:27:49 +0000 |
| libcryptominisat5-dev_5.11.4+dfsg1-2+b1_arm64.deb | 18,320 | Tue, 03 Jan 2023 06:58:45 +0000 |
| libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armel.deb | 18,300 | Tue, 03 Jan 2023 06:59:03 +0000 |
| libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armhf.deb | 18,324 | Tue, 03 Jan 2023 06:58:43 +0000 |
| libcryptominisat5-dev_5.11.4+dfsg1-2+b1_i386.deb | 18,316 | Tue, 03 Jan 2023 07:45:01 +0000 |
| libcryptominisat5-dev_5.11.4+dfsg1-2+b1_mips64el.deb | 18,332 | Tue, 03 Jan 2023 06:12:19 +0000 |
| libcryptominisat5-dev_5.11.4+dfsg1-2+b1_mipsel.deb | 18,320 | Tue, 03 Jan 2023 06:43:33 +0000 |
| libcryptominisat5-dev_5.11.4+dfsg1-2+b1_ppc64el.deb | 18,316 | Wed, 04 Jan 2023 23:55:58 +0000 |
| libcryptominisat5-dev_5.11.4+dfsg1-2+b1_s390x.deb | 18,304 | Fri, 06 Jan 2023 00:56:18 +0000 |
| libcryptominisat5-dev_5.8.0+dfsg1-1+b3_amd64.deb | 13,976 | Sat, 12 Dec 2020 14:13:58 +0000 |
| libcryptominisat5-dev_5.8.0+dfsg1-1+b3_arm64.deb | 13,944 | Sat, 12 Dec 2020 12:00:17 +0000 |
| libcryptominisat5-dev_5.8.0+dfsg1-1+b3_armhf.deb | 13,944 | Sat, 12 Dec 2020 15:26:42 +0000 |
| libcryptominisat5-dev_5.8.0+dfsg1-1+b3_i386.deb | 13,944 | Sat, 12 Dec 2020 14:39:56 +0000 |
| python3-cryptominisat_5.11.21+dfsg1-2_amd64.deb | 597,204 | Sat, 24 May 2025 23:21:25 +0000 |
| python3-cryptominisat_5.11.21+dfsg1-2_arm64.deb | 548,044 | Sat, 24 May 2025 23:32:07 +0000 |
| python3-cryptominisat_5.11.21+dfsg1-2_armel.deb | 528,152 | Sat, 24 May 2025 23:21:40 +0000 |
| python3-cryptominisat_5.11.21+dfsg1-2_armhf.deb | 541,996 | Sat, 24 May 2025 23:21:43 +0000 |
| python3-cryptominisat_5.11.21+dfsg1-2_i386.deb | 655,504 | Sat, 24 May 2025 23:21:24 +0000 |
| python3-cryptominisat_5.11.21+dfsg1-2_mips64el.deb | 557,784 | Sat, 24 May 2025 23:52:42 +0000 |
| python3-cryptominisat_5.11.21+dfsg1-2_ppc64el.deb | 626,948 | Sat, 24 May 2025 23:21:44 +0000 |
| python3-cryptominisat_5.11.21+dfsg1-2_riscv64.deb | 620,948 | Sun, 25 May 2025 00:08:28 +0000 |
| python3-cryptominisat_5.11.21+dfsg1-2_s390x.deb | 617,484 | Sat, 24 May 2025 23:21:40 +0000 |
| python3-cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb | 532,504 | Tue, 03 Jan 2023 06:27:49 +0000 |
| python3-cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb | 490,280 | Tue, 03 Jan 2023 06:58:45 +0000 |
| python3-cryptominisat_5.11.4+dfsg1-2+b1_armel.deb | 473,156 | Tue, 03 Jan 2023 06:59:03 +0000 |
| python3-cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb | 484,484 | Tue, 03 Jan 2023 06:58:43 +0000 |
| python3-cryptominisat_5.11.4+dfsg1-2+b1_i386.deb | 589,572 | Tue, 03 Jan 2023 07:45:01 +0000 |
| python3-cryptominisat_5.11.4+dfsg1-2+b1_mips64el.deb | 506,160 | Tue, 03 Jan 2023 06:12:19 +0000 |
| python3-cryptominisat_5.11.4+dfsg1-2+b1_mipsel.deb | 523,436 | Tue, 03 Jan 2023 06:43:33 +0000 |
| python3-cryptominisat_5.11.4+dfsg1-2+b1_ppc64el.deb | 568,876 | Wed, 04 Jan 2023 23:55:58 +0000 |
| python3-cryptominisat_5.11.4+dfsg1-2+b1_s390x.deb | 494,136 | Fri, 06 Jan 2023 00:56:18 +0000 |
| python3-cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb | 19,152 | Sat, 12 Dec 2020 14:13:58 +0000 |
| python3-cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb | 18,776 | Sat, 12 Dec 2020 12:00:17 +0000 |
| python3-cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb | 18,008 | Sat, 12 Dec 2020 15:26:42 +0000 |
| python3-cryptominisat_5.8.0+dfsg1-1+b3_i386.deb | 19,944 | Sat, 12 Dec 2020 14:39:56 +0000 |