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.orig.tar.xz 4814802024-May-03 11:29
cryptominisat_5.11.4+dfsg1-2build1.debian.tar.xz 54362022-Dec-25 20:25
cryptominisat_5.11.4+dfsg1-2build1.dsc 24622022-Dec-25 20:25
cryptominisat_5.11.4+dfsg1-2build1_arm64.deb 750322022-Dec-25 20:26
cryptominisat_5.11.4+dfsg1-2build1_armhf.deb 745442022-Dec-25 20:27
cryptominisat_5.11.4+dfsg1-2build1_ppc64el.deb 815662022-Dec-25 20:27
cryptominisat_5.11.4+dfsg1-2build1_riscv64.deb 811942022-Dec-25 21:54
cryptominisat_5.11.4+dfsg1-2build1_s390x.deb 765102022-Dec-25 20:27
cryptominisat_5.11.4+dfsg1-3.debian.tar.xz 67482023-Jul-15 05:38
cryptominisat_5.11.4+dfsg1-3.dsc 24592023-Jul-15 05:38
cryptominisat_5.11.4+dfsg1-3_arm64.deb 763462023-Jul-15 05:39
cryptominisat_5.11.4+dfsg1-3_armhf.deb 763642023-Jul-15 05:39
cryptominisat_5.11.4+dfsg1-3_ppc64el.deb 831042023-Jul-15 05:39
cryptominisat_5.11.4+dfsg1-3_riscv64.deb 835422023-Jul-16 08:40
cryptominisat_5.11.4+dfsg1-3_s390x.deb 818422023-Jul-15 05:39
cryptominisat_5.11.4+dfsg1.orig.tar.xz 5302202022-Nov-06 03:16
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.11_5.11.4+dfsg1-2build1_arm..> 4261002022-Dec-25 20:26
libcryptominisat5-5.11_5.11.4+dfsg1-2build1_arm..> 5064942022-Dec-25 20:27
libcryptominisat5-5.11_5.11.4+dfsg1-2build1_ppc..> 4926742022-Dec-25 20:27
libcryptominisat5-5.11_5.11.4+dfsg1-2build1_ris..> 5482642022-Dec-25 21:54
libcryptominisat5-5.11_5.11.4+dfsg1-2build1_s39..> 4313922022-Dec-25 20:27
libcryptominisat5-5.11_5.11.4+dfsg1-3_arm64.deb 4308562023-Jul-15 05:39
libcryptominisat5-5.11_5.11.4+dfsg1-3_armhf.deb 5138002023-Jul-15 05:39
libcryptominisat5-5.11_5.11.4+dfsg1-3_ppc64el.deb 4970122023-Jul-15 05:39
libcryptominisat5-5.11_5.11.4+dfsg1-3_riscv64.deb 5852022023-Jul-16 08:40
libcryptominisat5-5.11_5.11.4+dfsg1-3_s390x.deb 5077042023-Jul-15 05:39
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.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.4+dfsg1-2build1_arm6..> 173002022-Dec-25 20:26
libcryptominisat5-dev_5.11.4+dfsg1-2build1_armh..> 173062022-Dec-25 20:27
libcryptominisat5-dev_5.11.4+dfsg1-2build1_ppc6..> 173082022-Dec-25 20:27
libcryptominisat5-dev_5.11.4+dfsg1-2build1_risc..> 173022022-Dec-25 21:54
libcryptominisat5-dev_5.11.4+dfsg1-2build1_s390..> 173042022-Dec-25 20:27
libcryptominisat5-dev_5.11.4+dfsg1-3_arm64.deb 173022023-Jul-15 05:39
libcryptominisat5-dev_5.11.4+dfsg1-3_armhf.deb 173042023-Jul-15 05:39
libcryptominisat5-dev_5.11.4+dfsg1-3_ppc64el.deb 173102023-Jul-15 05:39
libcryptominisat5-dev_5.11.4+dfsg1-3_riscv64.deb 173042023-Jul-16 08:40
libcryptominisat5-dev_5.11.4+dfsg1-3_s390x.deb 173102023-Jul-15 05:39
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.4+dfsg1-2build1_arm6..> 5194102022-Dec-25 20:26
python3-cryptominisat_5.11.4+dfsg1-2build1_armh..> 5272062022-Dec-25 20:27
python3-cryptominisat_5.11.4+dfsg1-2build1_ppc6..> 6345982022-Dec-25 20:27
python3-cryptominisat_5.11.4+dfsg1-2build1_risc..> 5745482022-Dec-25 21:54
python3-cryptominisat_5.11.4+dfsg1-2build1_s390..> 5174402022-Dec-25 20:27
python3-cryptominisat_5.11.4+dfsg1-3_arm64.deb 5257642023-Jul-15 05:39
python3-cryptominisat_5.11.4+dfsg1-3_armhf.deb 5349322023-Jul-15 05:39
python3-cryptominisat_5.11.4+dfsg1-3_ppc64el.deb 6317322023-Jul-15 05:39
python3-cryptominisat_5.11.4+dfsg1-3_riscv64.deb 6066022023-Jul-16 08:40
python3-cryptominisat_5.11.4+dfsg1-3_s390x.deb 5988522023-Jul-15 05:39
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