Welcome To SC Mirrors Site

We are delighted to offer you accelerated services for open-source software.

Region Option

Asian / Tokyo
mirrors.tyo.silicloud.com
American / Los Angeles
mirrors.lax.silicloud.com

Mirrors Help

If you're unsure how to configure Linux distributions/software installation sources, we offer assistance for mainstream distributions here:

Config Guide

Common Links

Silicon Cloud

/ubuntu-ports/pool/universe/c/cryptominisat/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
cryptominisat_5.11.15+dfsg1-1.1build1.debian.ta..> 57202024-Mar-31 18:36
cryptominisat_5.11.15+dfsg1-1.1build1.dsc 26212024-Mar-31 18:36
cryptominisat_5.11.15+dfsg1-1.1build1_arm64.deb 792242024-Apr-02 01:07
cryptominisat_5.11.15+dfsg1-1.1build1_armhf.deb 793102024-Apr-02 01:08
cryptominisat_5.11.15+dfsg1-1.1build1_ppc64el.deb 865022024-Apr-02 05:02
cryptominisat_5.11.15+dfsg1-1.1build1_riscv64.deb 862102024-Apr-03 21:11
cryptominisat_5.11.15+dfsg1-1.1build1_s390x.deb 847562024-Apr-02 11:03
cryptominisat_5.11.15+dfsg1.orig.tar.xz 4748402023-Dec-14 17:37
cryptominisat_5.11.21+dfsg1-1.debian.tar.xz 66202024-May-03 11:29
cryptominisat_5.11.21+dfsg1-1.dsc 24982024-May-03 11:29
cryptominisat_5.11.21+dfsg1-1_arm64.deb 855182024-May-05 17:38
cryptominisat_5.11.21+dfsg1-1_armhf.deb 875622024-May-09 11:31
cryptominisat_5.11.21+dfsg1-1_ppc64el.deb 954282024-May-03 12:05
cryptominisat_5.11.21+dfsg1-1_riscv64.deb 959082024-May-05 11:18
cryptominisat_5.11.21+dfsg1-1_s390x.deb 957222024-May-03 12:40
cryptominisat_5.11.21+dfsg1-1build1.debian.tar.xz 67042025-Jan-03 14:35
cryptominisat_5.11.21+dfsg1-1build1.dsc 24972025-Jan-03 14:36
cryptominisat_5.11.21+dfsg1-1build1_arm64.deb 872182025-Jan-03 14:37
cryptominisat_5.11.21+dfsg1-1build1_armhf.deb 890082025-Jan-03 14:38
cryptominisat_5.11.21+dfsg1-1build1_ppc64el.deb 959862025-Jan-03 14:39
cryptominisat_5.11.21+dfsg1-1build1_riscv64.deb 959902025-Jan-03 18:35
cryptominisat_5.11.21+dfsg1-1build1_s390x.deb 967802025-Jan-03 14:40
cryptominisat_5.11.21+dfsg1.orig.tar.xz 4814802024-May-03 11:29
cryptominisat_5.8.0+dfsg1-2.debian.tar.xz 62642022-Feb-22 23:24
cryptominisat_5.8.0+dfsg1-2.dsc 24082022-Feb-22 23:24
cryptominisat_5.8.0+dfsg1-2_arm64.deb 890802022-Feb-22 23:45
cryptominisat_5.8.0+dfsg1-2_armhf.deb 886342022-Feb-22 23:45
cryptominisat_5.8.0+dfsg1-2_ppc64el.deb 993782022-Feb-22 23:46
cryptominisat_5.8.0+dfsg1-2_riscv64.deb 966682022-Feb-23 02:29
cryptominisat_5.8.0+dfsg1-2_s390x.deb 902382022-Feb-22 23:46
cryptominisat_5.8.0+dfsg1.orig.tar.xz 4513042020-Jul-13 17:24
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 4352482024-Apr-02 01:07
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 5226202024-Apr-02 01:08
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 5040562024-Apr-02 05:02
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 5863902024-Apr-03 21:11
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 5087522024-Apr-02 11:03
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_arm64..> 4363382024-May-05 17:38
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_armhf..> 5134562024-May-09 11:31
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_ppc64..> 5021142024-May-03 12:05
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_riscv..> 5854082024-May-05 11:18
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_s390x..> 5065802024-May-03 12:40
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1..> 4499322025-Jan-03 14:37
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1..> 5219382025-Jan-03 14:38
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1..> 5111642025-Jan-03 14:39
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1..> 5934502025-Jan-03 18:35
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1..> 5129182025-Jan-03 14:40
libcryptominisat5-5.8_5.8.0+dfsg1-2_arm64.deb 3746782022-Feb-22 23:45
libcryptominisat5-5.8_5.8.0+dfsg1-2_armhf.deb 4259542022-Feb-22 23:45
libcryptominisat5-5.8_5.8.0+dfsg1-2_ppc64el.deb 4727502022-Feb-22 23:46
libcryptominisat5-5.8_5.8.0+dfsg1-2_riscv64.deb 4598802022-Feb-23 02:29
libcryptominisat5-5.8_5.8.0+dfsg1-2_s390x.deb 3738062022-Feb-22 23:46
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_a..> 177482024-Apr-02 01:07
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_a..> 177502024-Apr-02 01:08
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_p..> 177522024-Apr-02 05:02
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_r..> 177502024-Apr-03 21:11
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_s..> 177462024-Apr-02 11:03
libcryptominisat5-dev_5.11.21+dfsg1-1_arm64.deb 178002024-May-05 17:38
libcryptominisat5-dev_5.11.21+dfsg1-1_armhf.deb 177422024-May-09 11:31
libcryptominisat5-dev_5.11.21+dfsg1-1_ppc64el.deb 178142024-May-03 12:05
libcryptominisat5-dev_5.11.21+dfsg1-1_riscv64.deb 178002024-May-05 11:18
libcryptominisat5-dev_5.11.21+dfsg1-1_s390x.deb 178022024-May-03 12:40
libcryptominisat5-dev_5.11.21+dfsg1-1build1_arm..> 178142025-Jan-03 14:37
libcryptominisat5-dev_5.11.21+dfsg1-1build1_arm..> 178122025-Jan-03 14:38
libcryptominisat5-dev_5.11.21+dfsg1-1build1_ppc..> 178182025-Jan-03 14:39
libcryptominisat5-dev_5.11.21+dfsg1-1build1_ris..> 178102025-Jan-03 18:35
libcryptominisat5-dev_5.11.21+dfsg1-1build1_s39..> 178162025-Jan-03 14:40
libcryptominisat5-dev_5.8.0+dfsg1-2_arm64.deb 129742022-Feb-22 23:45
libcryptominisat5-dev_5.8.0+dfsg1-2_armhf.deb 129802022-Feb-22 23:45
libcryptominisat5-dev_5.8.0+dfsg1-2_ppc64el.deb 129842022-Feb-22 23:46
libcryptominisat5-dev_5.8.0+dfsg1-2_riscv64.deb 129742022-Feb-23 02:29
libcryptominisat5-dev_5.8.0+dfsg1-2_s390x.deb 129782022-Feb-22 23:46
python3-cryptominisat_5.11.15+dfsg1-1.1build1_a..> 5192702024-Apr-02 01:07
python3-cryptominisat_5.11.15+dfsg1-1.1build1_a..> 5242202024-Apr-02 01:08
python3-cryptominisat_5.11.15+dfsg1-1.1build1_p..> 6347782024-Apr-02 05:02
python3-cryptominisat_5.11.15+dfsg1-1.1build1_r..> 6069402024-Apr-03 21:11
python3-cryptominisat_5.11.15+dfsg1-1.1build1_s..> 5943782024-Apr-02 11:03
python3-cryptominisat_5.11.21+dfsg1-1_arm64.deb 5203782024-May-05 17:38
python3-cryptominisat_5.11.21+dfsg1-1_armhf.deb 5233182024-May-09 11:31
python3-cryptominisat_5.11.21+dfsg1-1_ppc64el.deb 6277042024-May-03 12:05
python3-cryptominisat_5.11.21+dfsg1-1_riscv64.deb 6059882024-May-05 11:18
python3-cryptominisat_5.11.21+dfsg1-1_s390x.deb 5866622024-May-03 12:40
python3-cryptominisat_5.11.21+dfsg1-1build1_arm..> 5781382025-Jan-03 14:37
python3-cryptominisat_5.11.21+dfsg1-1build1_arm..> 5843962025-Jan-03 14:38
python3-cryptominisat_5.11.21+dfsg1-1build1_ppc..> 6852082025-Jan-03 14:39
python3-cryptominisat_5.11.21+dfsg1-1build1_ris..> 6686682025-Jan-03 18:35
python3-cryptominisat_5.11.21+dfsg1-1build1_s39..> 6357022025-Jan-03 14:40
python3-cryptominisat_5.8.0+dfsg1-2_arm64.deb 192482022-Feb-22 23:45
python3-cryptominisat_5.8.0+dfsg1-2_armhf.deb 184002022-Feb-22 23:45
python3-cryptominisat_5.8.0+dfsg1-2_ppc64el.deb 207122022-Feb-22 23:46
python3-cryptominisat_5.8.0+dfsg1-2_riscv64.deb 192702022-Feb-23 02:29
python3-cryptominisat_5.8.0+dfsg1-2_s390x.deb 192622022-Feb-22 23:46

OpenSource / FreeSoft Mirrors Supported by Silicon Cloud
Million Thanks to following software suppliers:

The HTML/CSS is tailored from:
Mirror-Web
Mirrors-Index
The HTML/CSS of this website can download from:
HTML Code
The sync tool can download from:
TunaSync

Contact Us

OpenSource / FreeSoft Mirrors Supported by Silicon Cloud
Million Thanks to following software suppliers:

The HTML/CSS is tailored from:
Mirror-Web
Mirrors-Index
The HTML/CSS of this website can download from:
HTML Code
The sync tool can download from:
TunaSync

Contact Us

cube envelope hashtag github