📂 Parent Directory | | |
📄 cryptominisat_5.11.21+dfsg1-1+b3_amd64.deb | 2025-01-07 13:47:17 | 89.2 KB |
📄 cryptominisat_5.11.21+dfsg1-1+b3_arm64.deb | 2025-01-07 14:02:55 | 79.11 KB |
📄 cryptominisat_5.11.21+dfsg1-1+b3_armel.deb | 2025-01-07 14:13:19 | 78.69 KB |
📄 cryptominisat_5.11.21+dfsg1-1+b3_armhf.deb | 2025-01-07 14:28:55 | 81.26 KB |
📄 cryptominisat_5.11.21+dfsg1-1+b3_i386.deb | 2025-01-07 14:02:52 | 95.46 KB |
📄 cryptominisat_5.11.21+dfsg1-1+b3_mips64el.deb | 2025-01-07 14:23:37 | 82.62 KB |
📄 cryptominisat_5.11.21+dfsg1-1+b3_ppc64el.deb | 2025-01-07 21:39:38 | 89.34 KB |
📄 cryptominisat_5.11.21+dfsg1-1+b3_riscv64.deb | 2025-01-07 15:26:23 | 87.31 KB |
📄 cryptominisat_5.11.21+dfsg1-1+b3_s390x.deb | 2025-01-09 09:08:53 | 85.82 KB |
📄 cryptominisat_5.11.21+dfsg1-1.debian.tar.xz | 2024-05-03 06:30:46 | 6.46 KB |
📄 cryptominisat_5.11.21+dfsg1-1.dsc | 2024-05-03 06:30:46 | 2.44 KB |
📄 cryptominisat_5.11.21+dfsg1.orig.tar.xz | 2024-05-03 06:30:46 | 470.2 KB |
📄 cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb | 2023-01-03 06:27:49 | 75.29 KB |
📄 cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb | 2023-01-03 06:58:45 | 69.21 KB |
📄 cryptominisat_5.11.4+dfsg1-2+b1_armel.deb | 2023-01-03 06:59:03 | 65.68 KB |
📄 cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb | 2023-01-03 06:58:43 | 67.44 KB |
📄 cryptominisat_5.11.4+dfsg1-2+b1_i386.deb | 2023-01-03 07:45:01 | 79.17 KB |
📄 cryptominisat_5.11.4+dfsg1-2+b1_mips64el.deb | 2023-01-03 06:12:19 | 70.38 KB |
📄 cryptominisat_5.11.4+dfsg1-2+b1_mipsel.deb | 2023-01-03 06:43:33 | 71.49 KB |
📄 cryptominisat_5.11.4+dfsg1-2+b1_ppc64el.deb | 2023-01-04 23:55:58 | 76.81 KB |
📄 cryptominisat_5.11.4+dfsg1-2+b1_s390x.deb | 2023-01-06 00:56:18 | 69.16 KB |
📄 cryptominisat_5.11.4+dfsg1-2.debian.tar.xz | 2022-11-03 19:09:23 | 5.23 KB |
📄 cryptominisat_5.11.4+dfsg1-2.dsc | 2022-11-03 19:09:23 | 2.4 KB |
📄 cryptominisat_5.11.4+dfsg1.orig.tar.xz | 2022-10-28 21:20:08 | 517.79 KB |
📄 cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb | 2020-12-12 14:13:58 | 85.96 KB |
📄 cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb | 2020-12-12 12:00:17 | 80.57 KB |
📄 cryptominisat_5.8.0+dfsg1-1+b3_armel.deb | 2020-12-12 13:11:43 | 77.98 KB |
📄 cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb | 2020-12-12 15:26:42 | 80.21 KB |
📄 cryptominisat_5.8.0+dfsg1-1+b3_i386.deb | 2020-12-12 14:39:56 | 90.92 KB |
📄 cryptominisat_5.8.0+dfsg1-1+b3_mips64el.deb | 2020-12-12 23:25:52 | 80.63 KB |
📄 cryptominisat_5.8.0+dfsg1-1+b3_mipsel.deb | 2020-12-13 10:56:33 | 82.88 KB |
📄 cryptominisat_5.8.0+dfsg1-1+b3_ppc64el.deb | 2020-12-12 16:28:31 | 89.5 KB |
📄 cryptominisat_5.8.0+dfsg1-1+b3_s390x.deb | 2020-12-12 21:57:48 | 81.38 KB |
📄 cryptominisat_5.8.0+dfsg1-1.debian.tar.xz | 2020-07-11 14:16:37 | 6.04 KB |
📄 cryptominisat_5.8.0+dfsg1-1.dsc | 2020-07-11 14:16:37 | 2.35 KB |
📄 cryptominisat_5.8.0+dfsg1.orig.tar.xz | 2020-07-11 14:16:37 | 440.73 KB |
📄 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_amd64.deb | 2023-01-03 06:27:49 | 490.29 KB |
📄 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_arm64.deb | 2023-01-03 06:58:45 | 440.42 KB |
📄 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armel.deb | 2023-01-03 06:59:03 | 432.08 KB |
📄 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armhf.deb | 2023-01-03 06:58:43 | 450.23 KB |
📄 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_i386.deb | 2023-01-03 07:45:01 | 515.78 KB |
📄 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_mips64el.deb | 2023-01-03 06:12:19 | 462.9 KB |
📄 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_mipsel.deb | 2023-01-03 06:43:33 | 476.99 KB |
📄 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_ppc64el.deb | 2023-01-04 23:55:58 | 529.89 KB |
📄 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_s390x.deb | 2023-01-06 00:56:18 | 448.77 KB |
📄 libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_amd64.deb | 2025-01-07 13:47:17 | 509.2 KB |
📄 libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_arm64.deb | 2025-01-07 14:02:55 | 461.04 KB |
📄 libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_armel.deb | 2025-01-07 14:13:19 | 447.93 KB |
📄 libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_armhf.deb | 2025-01-07 14:28:55 | 466.15 KB |
📄 libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_i386.deb | 2025-01-07 14:02:52 | 534.68 KB |
📄 libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_mips64el.deb | 2025-01-07 14:23:37 | 474.26 KB |
📄 libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_ppc64el.deb | 2025-01-07 21:39:38 | 540.75 KB |
📄 libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_riscv64.deb | 2025-01-07 15:26:23 | 534.29 KB |
📄 libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_s390x.deb | 2025-01-09 09:08:53 | 536.63 KB |
📄 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_amd64.deb | 2020-12-12 14:13:58 | 406.28 KB |
📄 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_arm64.deb | 2020-12-12 12:00:17 | 370.11 KB |
📄 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_armel.deb | 2020-12-12 13:11:43 | 365.69 KB |
📄 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_armhf.deb | 2020-12-12 15:26:42 | 375.71 KB |
📄 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_i386.deb | 2020-12-12 14:39:56 | 431.58 KB |
📄 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_mips64el.deb | 2020-12-12 23:25:52 | 389.02 KB |
📄 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_mipsel.deb | 2020-12-13 10:56:33 | 405.19 KB |
📄 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_ppc64el.deb | 2020-12-12 16:28:31 | 445.03 KB |
📄 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_s390x.deb | 2020-12-12 21:57:48 | 372.41 KB |
📄 libcryptominisat5-dev_5.11.21+dfsg1-1+b3_amd64.deb | 2025-01-07 13:47:17 | 18.59 KB |
📄 libcryptominisat5-dev_5.11.21+dfsg1-1+b3_arm64.deb | 2025-01-07 14:02:55 | 18.6 KB |
📄 libcryptominisat5-dev_5.11.21+dfsg1-1+b3_armel.deb | 2025-01-07 14:13:19 | 18.6 KB |
📄 libcryptominisat5-dev_5.11.21+dfsg1-1+b3_armhf.deb | 2025-01-07 14:28:55 | 18.61 KB |
📄 libcryptominisat5-dev_5.11.21+dfsg1-1+b3_i386.deb | 2025-01-07 14:02:52 | 18.6 KB |
📄 libcryptominisat5-dev_5.11.21+dfsg1-1+b3_mips64el.deb | 2025-01-07 14:23:37 | 18.61 KB |
📄 libcryptominisat5-dev_5.11.21+dfsg1-1+b3_ppc64el.deb | 2025-01-07 21:39:38 | 18.6 KB |
📄 libcryptominisat5-dev_5.11.21+dfsg1-1+b3_riscv64.deb | 2025-01-07 15:26:23 | 18.6 KB |
📄 libcryptominisat5-dev_5.11.21+dfsg1-1+b3_s390x.deb | 2025-01-09 09:08:53 | 18.61 KB |
📄 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_amd64.deb | 2023-01-03 06:27:49 | 17.89 KB |
📄 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_arm64.deb | 2023-01-03 06:58:45 | 17.89 KB |
📄 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armel.deb | 2023-01-03 06:59:03 | 17.87 KB |
📄 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armhf.deb | 2023-01-03 06:58:43 | 17.89 KB |
📄 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_i386.deb | 2023-01-03 07:45:01 | 17.89 KB |
📄 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_mips64el.deb | 2023-01-03 06:12:19 | 17.9 KB |
📄 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_mipsel.deb | 2023-01-03 06:43:33 | 17.89 KB |
📄 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_ppc64el.deb | 2023-01-04 23:55:58 | 17.89 KB |
📄 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_s390x.deb | 2023-01-06 00:56:18 | 17.88 KB |
📄 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_amd64.deb | 2020-12-12 14:13:58 | 13.65 KB |
📄 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_arm64.deb | 2020-12-12 12:00:17 | 13.62 KB |
📄 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_armel.deb | 2020-12-12 13:11:43 | 13.63 KB |
📄 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_armhf.deb | 2020-12-12 15:26:42 | 13.62 KB |
📄 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_i386.deb | 2020-12-12 14:39:56 | 13.62 KB |
📄 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_mips64el.deb | 2020-12-12 23:25:52 | 13.63 KB |
📄 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_mipsel.deb | 2020-12-13 10:56:33 | 13.61 KB |
📄 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_ppc64el.deb | 2020-12-12 16:28:31 | 13.63 KB |
📄 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_s390x.deb | 2020-12-12 21:57:48 | 13.62 KB |
📄 python3-cryptominisat_5.11.21+dfsg1-1+b3_amd64.deb | 2025-01-07 13:47:17 | 576.71 KB |
📄 python3-cryptominisat_5.11.21+dfsg1-1+b3_arm64.deb | 2025-01-07 14:02:55 | 529.53 KB |
📄 python3-cryptominisat_5.11.21+dfsg1-1+b3_armel.deb | 2025-01-07 14:13:19 | 511.7 KB |
📄 python3-cryptominisat_5.11.21+dfsg1-1+b3_armhf.deb | 2025-01-07 14:28:55 | 524.89 KB |
📄 python3-cryptominisat_5.11.21+dfsg1-1+b3_i386.deb | 2025-01-07 14:02:52 | 631.76 KB |
📄 python3-cryptominisat_5.11.21+dfsg1-1+b3_mips64el.deb | 2025-01-07 14:23:37 | 540.45 KB |
📄 python3-cryptominisat_5.11.21+dfsg1-1+b3_ppc64el.deb | 2025-01-07 21:39:38 | 602.76 KB |
📄 python3-cryptominisat_5.11.21+dfsg1-1+b3_riscv64.deb | 2025-01-07 15:26:23 | 598.26 KB |
📄 python3-cryptominisat_5.11.21+dfsg1-1+b3_s390x.deb | 2025-01-09 09:08:53 | 599.11 KB |
📄 python3-cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb | 2023-01-03 06:27:49 | 520.02 KB |
📄 python3-cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb | 2023-01-03 06:58:45 | 478.79 KB |
📄 python3-cryptominisat_5.11.4+dfsg1-2+b1_armel.deb | 2023-01-03 06:59:03 | 462.07 KB |
📄 python3-cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb | 2023-01-03 06:58:43 | 473.13 KB |
📄 python3-cryptominisat_5.11.4+dfsg1-2+b1_i386.deb | 2023-01-03 07:45:01 | 575.75 KB |
📄 python3-cryptominisat_5.11.4+dfsg1-2+b1_mips64el.deb | 2023-01-03 06:12:19 | 494.3 KB |
📄 python3-cryptominisat_5.11.4+dfsg1-2+b1_mipsel.deb | 2023-01-03 06:43:33 | 511.17 KB |
📄 python3-cryptominisat_5.11.4+dfsg1-2+b1_ppc64el.deb | 2023-01-04 23:55:58 | 555.54 KB |
📄 python3-cryptominisat_5.11.4+dfsg1-2+b1_s390x.deb | 2023-01-06 00:56:18 | 482.55 KB |
📄 python3-cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb | 2020-12-12 14:13:58 | 18.7 KB |
📄 python3-cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb | 2020-12-12 12:00:17 | 18.34 KB |
📄 python3-cryptominisat_5.8.0+dfsg1-1+b3_armel.deb | 2020-12-12 13:11:43 | 17.52 KB |
📄 python3-cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb | 2020-12-12 15:26:42 | 17.59 KB |
📄 python3-cryptominisat_5.8.0+dfsg1-1+b3_i386.deb | 2020-12-12 14:39:56 | 19.48 KB |
📄 python3-cryptominisat_5.8.0+dfsg1-1+b3_mips64el.deb | 2020-12-12 23:25:52 | 18.79 KB |
📄 python3-cryptominisat_5.8.0+dfsg1-1+b3_mipsel.deb | 2020-12-13 10:56:33 | 18.71 KB |
📄 python3-cryptominisat_5.8.0+dfsg1-1+b3_ppc64el.deb | 2020-12-12 16:28:31 | 19.67 KB |
📄 python3-cryptominisat_5.8.0+dfsg1-1+b3_s390x.deb | 2020-12-12 21:57:48 | 18.23 KB |