ODTÜ FTP Hizmet Sayfası
Home
/
pub
/
mirrors
/
ftp.debian.org
/
debian
/
pool
/
main
/
c
/
cryptominisat
File
Size
..
-
cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb
85.96KB
cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb
80.57KB
cryptominisat_5.8.0+dfsg1-1+b3_armel.deb
77.98KB
cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb
80.21KB
cryptominisat_5.8.0+dfsg1-1+b3_i386.deb
90.92KB
cryptominisat_5.8.0+dfsg1-1+b3_mips64el.deb
80.63KB
cryptominisat_5.8.0+dfsg1-1+b3_mipsel.deb
82.88KB
cryptominisat_5.8.0+dfsg1-1+b3_ppc64el.deb
89.50KB
cryptominisat_5.8.0+dfsg1-1+b3_s390x.deb
81.38KB
cryptominisat_5.8.0+dfsg1-1.debian.tar.xz
6.04KB
cryptominisat_5.8.0+dfsg1-1.dsc
2.35KB
cryptominisat_5.8.0+dfsg1.orig.tar.xz
440.73KB
cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb
75.29KB
cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb
69.21KB
cryptominisat_5.11.4+dfsg1-2+b1_armel.deb
65.68KB
cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb
67.44KB
cryptominisat_5.11.4+dfsg1-2+b1_i386.deb
79.17KB
cryptominisat_5.11.4+dfsg1-2+b1_mips64el.deb
70.38KB
cryptominisat_5.11.4+dfsg1-2+b1_mipsel.deb
71.49KB
cryptominisat_5.11.4+dfsg1-2+b1_ppc64el.deb
76.81KB
cryptominisat_5.11.4+dfsg1-2+b1_s390x.deb
69.16KB
cryptominisat_5.11.4+dfsg1-2.debian.tar.xz
5.23KB
cryptominisat_5.11.4+dfsg1-2.dsc
2.40KB
cryptominisat_5.11.4+dfsg1.orig.tar.xz
517.79KB
cryptominisat_5.11.21+dfsg1-1+b2_amd64.deb
89.03KB
cryptominisat_5.11.21+dfsg1-1+b2_arm64.deb
79.20KB
cryptominisat_5.11.21+dfsg1-1+b2_armel.deb
78.41KB
cryptominisat_5.11.21+dfsg1-1+b2_armhf.deb
81.27KB
cryptominisat_5.11.21+dfsg1-1+b2_i386.deb
95.43KB
cryptominisat_5.11.21+dfsg1-1+b2_mips64el.deb
81.57KB
cryptominisat_5.11.21+dfsg1-1+b2_ppc64el.deb
89.27KB
cryptominisat_5.11.21+dfsg1-1+b2_riscv64.deb
87.38KB
cryptominisat_5.11.21+dfsg1-1+b2_s390x.deb
85.66KB
cryptominisat_5.11.21+dfsg1-1.debian.tar.xz
6.46KB
cryptominisat_5.11.21+dfsg1-1.dsc
2.44KB
cryptominisat_5.11.21+dfsg1.orig.tar.xz
470.20KB
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_amd64.deb
406.28KB
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_arm64.deb
370.11KB
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_armel.deb
365.69KB
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_armhf.deb
375.71KB
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_i386.deb
431.58KB
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_mips64el.deb
389.02KB
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_mipsel.deb
405.19KB
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_ppc64el.deb
445.03KB
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_s390x.deb
372.41KB
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_amd64.deb
509.09KB
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_arm64.deb
461.31KB
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_armel.deb
447.70KB
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_armhf.deb
465.43KB
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_i386.deb
534.71KB
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_mips64el.deb
472.22KB
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_ppc64el.deb
541.34KB
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_riscv64.deb
534.25KB
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_s390x.deb
536.55KB
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_amd64.deb
490.29KB
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_arm64.deb
440.42KB
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armel.deb
432.08KB
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armhf.deb
450.23KB
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_i386.deb
515.78KB
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_mips64el.deb
462.90KB
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_mipsel.deb
476.99KB
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_ppc64el.deb
529.89KB
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_s390x.deb
448.77KB
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_amd64.deb
13.65KB
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_arm64.deb
13.62KB
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_armel.deb
13.63KB
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_armhf.deb
13.62KB
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_i386.deb
13.62KB
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_mips64el.deb
13.62KB
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_mipsel.deb
13.61KB
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_ppc64el.deb
13.63KB
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_s390x.deb
13.62KB
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_amd64.deb
17.89KB
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_arm64.deb
17.89KB
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armel.deb
17.87KB
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armhf.deb
17.89KB
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_i386.deb
17.89KB
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_mips64el.deb
17.90KB
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_mipsel.deb
17.89KB
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_ppc64el.deb
17.89KB
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_s390x.deb
17.88KB
libcryptominisat5-dev_5.11.21+dfsg1-1+b2_amd64.deb
18.60KB
libcryptominisat5-dev_5.11.21+dfsg1-1+b2_arm64.deb
18.59KB
libcryptominisat5-dev_5.11.21+dfsg1-1+b2_armel.deb
18.59KB
libcryptominisat5-dev_5.11.21+dfsg1-1+b2_armhf.deb
18.59KB
libcryptominisat5-dev_5.11.21+dfsg1-1+b2_i386.deb
18.60KB
libcryptominisat5-dev_5.11.21+dfsg1-1+b2_mips64el.deb
18.62KB
libcryptominisat5-dev_5.11.21+dfsg1-1+b2_ppc64el.deb
18.61KB
libcryptominisat5-dev_5.11.21+dfsg1-1+b2_riscv64.deb
18.60KB
libcryptominisat5-dev_5.11.21+dfsg1-1+b2_s390x.deb
18.59KB
python3-cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb
18.70KB
python3-cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb
18.34KB
python3-cryptominisat_5.8.0+dfsg1-1+b3_armel.deb
17.52KB
python3-cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb
17.59KB
python3-cryptominisat_5.8.0+dfsg1-1+b3_i386.deb
19.48KB
python3-cryptominisat_5.8.0+dfsg1-1+b3_mips64el.deb
18.79KB
python3-cryptominisat_5.8.0+dfsg1-1+b3_mipsel.deb
18.71KB
python3-cryptominisat_5.8.0+dfsg1-1+b3_ppc64el.deb
19.67KB
python3-cryptominisat_5.8.0+dfsg1-1+b3_s390x.deb
18.23KB
python3-cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb
520.02KB
python3-cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb
478.79KB
python3-cryptominisat_5.11.4+dfsg1-2+b1_armel.deb
462.07KB
python3-cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb
473.13KB
python3-cryptominisat_5.11.4+dfsg1-2+b1_i386.deb
575.75KB
python3-cryptominisat_5.11.4+dfsg1-2+b1_mips64el.deb
494.30KB
python3-cryptominisat_5.11.4+dfsg1-2+b1_mipsel.deb
511.17KB
python3-cryptominisat_5.11.4+dfsg1-2+b1_ppc64el.deb
555.54KB
python3-cryptominisat_5.11.4+dfsg1-2+b1_s390x.deb
482.55KB
python3-cryptominisat_5.11.21+dfsg1-1+b2_amd64.deb
576.62KB
python3-cryptominisat_5.11.21+dfsg1-1+b2_arm64.deb
529.25KB
python3-cryptominisat_5.11.21+dfsg1-1+b2_armel.deb
511.22KB
python3-cryptominisat_5.11.21+dfsg1-1+b2_armhf.deb
524.38KB
python3-cryptominisat_5.11.21+dfsg1-1+b2_i386.deb
631.62KB
python3-cryptominisat_5.11.21+dfsg1-1+b2_mips64el.deb
531.72KB
python3-cryptominisat_5.11.21+dfsg1-1+b2_ppc64el.deb
602.90KB
python3-cryptominisat_5.11.21+dfsg1-1+b2_riscv64.deb
597.76KB
python3-cryptominisat_5.11.21+dfsg1-1+b2_s390x.deb
598.86KB
×
{{modal_header}}
MD5
{{md5_sum}}
SHA1
{{sha1_sum}}
