Index of /debian/pool/main/c/cryptominisat/

/debian/pool/main/c/cryptominisat/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
cryptominisat_5.8.0+dfsg1-1.debian.tar.xz6.0 KiB11 Jul 2020 14:16:37 +0000
cryptominisat_5.8.0+dfsg1-1.dsc2.4 KiB11 Jul 2020 14:16:37 +0000
cryptominisat_5.8.0+dfsg1.orig.tar.xz440.7 KiB11 Jul 2020 14:16:37 +0000
cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb80.6 KiB12 Dec 2020 12:00:17 +0000
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_arm64.deb370.1 KiB12 Dec 2020 12:00:17 +0000
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_arm64.deb13.6 KiB12 Dec 2020 12:00:17 +0000
python3-cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb18.3 KiB12 Dec 2020 12:00:17 +0000
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_amd64.deb406.3 KiB12 Dec 2020 14:13:58 +0000
cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb86.0 KiB12 Dec 2020 14:13:58 +0000
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_amd64.deb13.6 KiB12 Dec 2020 14:13:58 +0000
python3-cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb18.7 KiB12 Dec 2020 14:13:58 +0000
cryptominisat_5.8.0+dfsg1-1+b3_i386.deb90.9 KiB12 Dec 2020 14:39:56 +0000
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_i386.deb431.6 KiB12 Dec 2020 14:39:56 +0000
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_i386.deb13.6 KiB12 Dec 2020 14:39:56 +0000
python3-cryptominisat_5.8.0+dfsg1-1+b3_i386.deb19.5 KiB12 Dec 2020 14:39:56 +0000
cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb80.2 KiB12 Dec 2020 15:26:42 +0000
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_armhf.deb375.7 KiB12 Dec 2020 15:26:42 +0000
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_armhf.deb13.6 KiB12 Dec 2020 15:26:42 +0000
python3-cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb17.6 KiB12 Dec 2020 15:26:42 +0000
cryptominisat_5.11.4+dfsg1.orig.tar.xz517.8 KiB28 Oct 2022 21:20:08 +0000
cryptominisat_5.11.4+dfsg1-2.debian.tar.xz5.2 KiB03 Nov 2022 19:09:23 +0000
cryptominisat_5.11.4+dfsg1-2.dsc2.4 KiB03 Nov 2022 19:09:23 +0000
cryptominisat_5.11.4+dfsg1-2+b1_mips64el.deb70.4 KiB03 Jan 2023 06:12:19 +0000
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_mips64el.deb462.9 KiB03 Jan 2023 06:12:19 +0000
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_mips64el.deb17.9 KiB03 Jan 2023 06:12:19 +0000
python3-cryptominisat_5.11.4+dfsg1-2+b1_mips64el.deb494.3 KiB03 Jan 2023 06:12:19 +0000
cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb75.3 KiB03 Jan 2023 06:27:49 +0000
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_amd64.deb490.3 KiB03 Jan 2023 06:27:49 +0000
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_amd64.deb17.9 KiB03 Jan 2023 06:27:49 +0000
python3-cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb520.0 KiB03 Jan 2023 06:27:49 +0000
cryptominisat_5.11.4+dfsg1-2+b1_mipsel.deb71.5 KiB03 Jan 2023 06:43:33 +0000
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_mipsel.deb477.0 KiB03 Jan 2023 06:43:33 +0000
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_mipsel.deb17.9 KiB03 Jan 2023 06:43:33 +0000
python3-cryptominisat_5.11.4+dfsg1-2+b1_mipsel.deb511.2 KiB03 Jan 2023 06:43:33 +0000
cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb67.4 KiB03 Jan 2023 06:58:43 +0000
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armhf.deb450.2 KiB03 Jan 2023 06:58:43 +0000
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armhf.deb17.9 KiB03 Jan 2023 06:58:43 +0000
python3-cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb473.1 KiB03 Jan 2023 06:58:43 +0000
cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb69.2 KiB03 Jan 2023 06:58:45 +0000
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_arm64.deb440.4 KiB03 Jan 2023 06:58:45 +0000
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_arm64.deb17.9 KiB03 Jan 2023 06:58:45 +0000
python3-cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb478.8 KiB03 Jan 2023 06:58:45 +0000
cryptominisat_5.11.4+dfsg1-2+b1_armel.deb65.7 KiB03 Jan 2023 06:59:03 +0000
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armel.deb432.1 KiB03 Jan 2023 06:59:03 +0000
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armel.deb17.9 KiB03 Jan 2023 06:59:03 +0000
python3-cryptominisat_5.11.4+dfsg1-2+b1_armel.deb462.1 KiB03 Jan 2023 06:59:03 +0000
cryptominisat_5.11.4+dfsg1-2+b1_i386.deb79.2 KiB03 Jan 2023 07:45:01 +0000
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_i386.deb515.8 KiB03 Jan 2023 07:45:01 +0000
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_i386.deb17.9 KiB03 Jan 2023 07:45:01 +0000
python3-cryptominisat_5.11.4+dfsg1-2+b1_i386.deb575.8 KiB03 Jan 2023 07:45:01 +0000
cryptominisat_5.11.4+dfsg1-2+b1_ppc64el.deb76.8 KiB04 Jan 2023 23:55:58 +0000
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_ppc64el.deb529.9 KiB04 Jan 2023 23:55:58 +0000
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_ppc64el.deb17.9 KiB04 Jan 2023 23:55:58 +0000
python3-cryptominisat_5.11.4+dfsg1-2+b1_ppc64el.deb555.5 KiB04 Jan 2023 23:55:58 +0000
cryptominisat_5.11.4+dfsg1-2+b1_s390x.deb69.2 KiB06 Jan 2023 00:56:18 +0000
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_s390x.deb448.8 KiB06 Jan 2023 00:56:18 +0000
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_s390x.deb17.9 KiB06 Jan 2023 00:56:18 +0000
python3-cryptominisat_5.11.4+dfsg1-2+b1_s390x.deb482.6 KiB06 Jan 2023 00:56:18 +0000
cryptominisat_5.11.21+dfsg1.orig.tar.xz470.2 KiB03 May 2024 06:30:46 +0000
cryptominisat_5.11.21+dfsg1-2.debian.tar.xz6.5 KiB24 May 2025 22:55:14 +0000
cryptominisat_5.11.21+dfsg1-2.dsc2.5 KiB24 May 2025 22:55:14 +0000
cryptominisat_5.11.21+dfsg1-2_i386.deb95.4 KiB24 May 2025 23:21:24 +0000
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_i386.deb536.1 KiB24 May 2025 23:21:24 +0000
libcryptominisat5-dev_5.11.21+dfsg1-2_i386.deb18.4 KiB24 May 2025 23:21:24 +0000
python3-cryptominisat_5.11.21+dfsg1-2_i386.deb640.1 KiB24 May 2025 23:21:24 +0000
cryptominisat_5.11.21+dfsg1-2_amd64.deb89.3 KiB24 May 2025 23:21:25 +0000
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_amd64.deb509.2 KiB24 May 2025 23:21:25 +0000
libcryptominisat5-dev_5.11.21+dfsg1-2_amd64.deb18.4 KiB24 May 2025 23:21:25 +0000
python3-cryptominisat_5.11.21+dfsg1-2_amd64.deb583.2 KiB24 May 2025 23:21:25 +0000
cryptominisat_5.11.21+dfsg1-2_armel.deb78.7 KiB24 May 2025 23:21:40 +0000
cryptominisat_5.11.21+dfsg1-2_s390x.deb85.6 KiB24 May 2025 23:21:40 +0000
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_armel.deb443.0 KiB24 May 2025 23:21:40 +0000
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_s390x.deb534.1 KiB24 May 2025 23:21:40 +0000
libcryptominisat5-dev_5.11.21+dfsg1-2_armel.deb18.4 KiB24 May 2025 23:21:40 +0000
libcryptominisat5-dev_5.11.21+dfsg1-2_s390x.deb18.4 KiB24 May 2025 23:21:40 +0000
python3-cryptominisat_5.11.21+dfsg1-2_armel.deb515.8 KiB24 May 2025 23:21:40 +0000
python3-cryptominisat_5.11.21+dfsg1-2_s390x.deb603.0 KiB24 May 2025 23:21:40 +0000
cryptominisat_5.11.21+dfsg1-2_armhf.deb81.6 KiB24 May 2025 23:21:43 +0000
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_armhf.deb462.5 KiB24 May 2025 23:21:43 +0000
libcryptominisat5-dev_5.11.21+dfsg1-2_armhf.deb18.4 KiB24 May 2025 23:21:43 +0000
python3-cryptominisat_5.11.21+dfsg1-2_armhf.deb529.3 KiB24 May 2025 23:21:43 +0000
cryptominisat_5.11.21+dfsg1-2_ppc64el.deb88.7 KiB24 May 2025 23:21:44 +0000
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_ppc64el.deb543.3 KiB24 May 2025 23:21:44 +0000
libcryptominisat5-dev_5.11.21+dfsg1-2_ppc64el.deb18.4 KiB24 May 2025 23:21:44 +0000
python3-cryptominisat_5.11.21+dfsg1-2_ppc64el.deb612.3 KiB24 May 2025 23:21:44 +0000
cryptominisat_5.11.21+dfsg1-2_arm64.deb79.3 KiB24 May 2025 23:32:07 +0000
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_arm64.deb460.6 KiB24 May 2025 23:32:07 +0000
libcryptominisat5-dev_5.11.21+dfsg1-2_arm64.deb18.4 KiB24 May 2025 23:32:07 +0000
python3-cryptominisat_5.11.21+dfsg1-2_arm64.deb535.2 KiB24 May 2025 23:32:07 +0000
cryptominisat_5.11.21+dfsg1-2_riscv64.deb87.4 KiB25 May 2025 00:08:28 +0000
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_riscv64.deb534.3 KiB25 May 2025 00:08:28 +0000
libcryptominisat5-dev_5.11.21+dfsg1-2_riscv64.deb18.4 KiB25 May 2025 00:08:28 +0000
python3-cryptominisat_5.11.21+dfsg1-2_riscv64.deb606.4 KiB25 May 2025 00:08:28 +0000
cryptominisat_5.11.21+dfsg1-3.debian.tar.xz6.9 KiB13 Aug 2025 06:03:47 +0000
cryptominisat_5.11.21+dfsg1-3.dsc2.4 KiB13 Aug 2025 06:03:47 +0000
cryptominisat_5.11.21+dfsg1-3+b3_arm64.deb78.2 KiB27 Jun 2026 18:27:18 +0000
libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b3_arm64.deb448.8 KiB27 Jun 2026 18:27:18 +0000
libcryptominisat5-dev_5.11.21+dfsg1-3+b3_arm64.deb18.2 KiB27 Jun 2026 18:27:18 +0000
python3-cryptominisat_5.11.21+dfsg1-3+b3_arm64.deb524.1 KiB27 Jun 2026 18:27:18 +0000
libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b3_armhf.deb460.5 KiB27 Jun 2026 18:27:22 +0000
libcryptominisat5-dev_5.11.21+dfsg1-3+b3_armhf.deb18.2 KiB27 Jun 2026 18:27:22 +0000
cryptominisat_5.11.21+dfsg1-3+b3_armhf.deb81.5 KiB27 Jun 2026 18:27:22 +0000
python3-cryptominisat_5.11.21+dfsg1-3+b3_armhf.deb528.0 KiB27 Jun 2026 18:27:22 +0000
libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b3_amd64.deb510.0 KiB27 Jun 2026 18:48:13 +0000
libcryptominisat5-dev_5.11.21+dfsg1-3+b3_amd64.deb18.2 KiB27 Jun 2026 18:48:13 +0000
cryptominisat_5.11.21+dfsg1-3+b3_amd64.deb88.4 KiB27 Jun 2026 18:48:13 +0000
python3-cryptominisat_5.11.21+dfsg1-3+b3_amd64.deb585.4 KiB27 Jun 2026 18:48:13 +0000
cryptominisat_5.11.21+dfsg1-3+b3_loong64.deb83.3 KiB27 Jun 2026 18:53:22 +0000
libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b3_loong64.deb500.3 KiB27 Jun 2026 18:53:22 +0000
python3-cryptominisat_5.11.21+dfsg1-3+b3_loong64.deb574.5 KiB27 Jun 2026 18:53:22 +0000
libcryptominisat5-dev_5.11.21+dfsg1-3+b3_loong64.deb18.2 KiB27 Jun 2026 18:53:22 +0000
libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b3_i386.deb532.8 KiB27 Jun 2026 19:19:51 +0000
cryptominisat_5.11.21+dfsg1-3+b3_i386.deb95.5 KiB27 Jun 2026 19:19:51 +0000
libcryptominisat5-dev_5.11.21+dfsg1-3+b3_i386.deb18.2 KiB27 Jun 2026 19:19:51 +0000
python3-cryptominisat_5.11.21+dfsg1-3+b3_i386.deb634.7 KiB27 Jun 2026 19:19:51 +0000
cryptominisat_5.11.21+dfsg1-3+b3_riscv64.deb86.6 KiB27 Jun 2026 19:40:51 +0000
libcryptominisat5-dev_5.11.21+dfsg1-3+b3_riscv64.deb18.2 KiB27 Jun 2026 19:40:51 +0000
libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b3_riscv64.deb535.3 KiB27 Jun 2026 19:40:51 +0000
python3-cryptominisat_5.11.21+dfsg1-3+b3_riscv64.deb605.8 KiB27 Jun 2026 19:40:51 +0000
libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b3_s390x.deb532.9 KiB28 Jun 2026 07:13:51 +0000
cryptominisat_5.11.21+dfsg1-3+b3_s390x.deb85.6 KiB28 Jun 2026 07:13:51 +0000
libcryptominisat5-dev_5.11.21+dfsg1-3+b3_s390x.deb18.2 KiB28 Jun 2026 07:13:51 +0000
python3-cryptominisat_5.11.21+dfsg1-3+b3_s390x.deb601.8 KiB28 Jun 2026 07:13:51 +0000
cryptominisat_5.11.21+dfsg1-3+b3_ppc64el.deb88.3 KiB28 Jun 2026 09:32:24 +0000
libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b3_ppc64el.deb556.9 KiB28 Jun 2026 09:32:24 +0000
libcryptominisat5-dev_5.11.21+dfsg1-3+b3_ppc64el.deb18.2 KiB28 Jun 2026 09:32:24 +0000
python3-cryptominisat_5.11.21+dfsg1-3+b3_ppc64el.deb626.4 KiB28 Jun 2026 09:32:24 +0000

本站由齐鲁工业大学网络信息中心支持创办，由齐鲁工业大学网络运维部/网络与高性能计算协会运行维护。

齐鲁工业大学网络运维部是网络信息中心下属校级学生组织，负责办公区与教学区的网络设施维护、以及学校教育网基础设施的建设保障工作。

齐鲁工业大学网络与高性能计算协会是网络信息中心下属学生社团，汇集全校热爱开源软件、网络技术、高性能计算等领域的同学。

本站基于清华大学TUNA开源的tunasync(镜像管理器) 和 mirror-web项目建立，感谢TUNA为国内开源生态作出的伟大贡献

我站采用多种技术措施反制日益增长的滥用与恶意攻击行为，本站不对特定滥用镜像站资源的用户提供服务。

Contact Us

Sponsor

感谢山东鹏云信息科技提供服务器与专业技术支持

感谢赛尔网络（山东）提供IPv6带宽资源

cube envelope github qq