Directory listing of http://mirror.biznetgio.com/debian/pool/main/c/cryptominisat
mirror.biznetgio.com
/
debian
/
pool
/
main
/
c
/
cryptominisat
File
Size
Last Modified
..
-
2024-11-20 19:00:11
cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb
85.96KB
2020-12-12 14:13:58
cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb
80.57KB
2020-12-12 12:00:17
cryptominisat_5.8.0+dfsg1-1+b3_armel.deb
77.98KB
2020-12-12 13:11:43
cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb
80.21KB
2020-12-12 15:26:42
cryptominisat_5.8.0+dfsg1-1+b3_i386.deb
90.92KB
2020-12-12 14:39:56
cryptominisat_5.8.0+dfsg1-1+b3_mips64el.deb
80.63KB
2020-12-12 23:25:52
cryptominisat_5.8.0+dfsg1-1+b3_mipsel.deb
82.88KB
2020-12-13 10:56:33
cryptominisat_5.8.0+dfsg1-1+b3_ppc64el.deb
89.50KB
2020-12-12 16:28:31
cryptominisat_5.8.0+dfsg1-1+b3_s390x.deb
81.38KB
2020-12-12 21:57:48
cryptominisat_5.8.0+dfsg1-1.debian.tar.xz
6.04KB
2020-07-11 14:16:37
cryptominisat_5.8.0+dfsg1-1.dsc
2.35KB
2020-07-11 14:16:37
cryptominisat_5.8.0+dfsg1.orig.tar.xz
440.73KB
2020-07-11 14:16:37
cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb
75.29KB
2023-01-03 06:27:49
cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb
69.21KB
2023-01-03 06:58:45
cryptominisat_5.11.4+dfsg1-2+b1_armel.deb
65.68KB
2023-01-03 06:59:03
cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb
67.44KB
2023-01-03 06:58:43
cryptominisat_5.11.4+dfsg1-2+b1_i386.deb
79.17KB
2023-01-03 07:45:01
cryptominisat_5.11.4+dfsg1-2+b1_mips64el.deb
70.38KB
2023-01-03 06:12:19
cryptominisat_5.11.4+dfsg1-2+b1_mipsel.deb
71.49KB
2023-01-03 06:43:33
cryptominisat_5.11.4+dfsg1-2+b1_ppc64el.deb
76.81KB
2023-01-04 23:55:58
cryptominisat_5.11.4+dfsg1-2+b1_s390x.deb
69.16KB
2023-01-06 00:56:18
cryptominisat_5.11.4+dfsg1-2.debian.tar.xz
5.23KB
2022-11-03 19:09:23
cryptominisat_5.11.4+dfsg1-2.dsc
2.40KB
2022-11-03 19:09:23
cryptominisat_5.11.4+dfsg1.orig.tar.xz
517.79KB
2022-10-28 21:20:08
cryptominisat_5.11.21+dfsg1-1+b2_amd64.deb
89.03KB
2024-10-28 16:52:12
cryptominisat_5.11.21+dfsg1-1+b2_arm64.deb
79.20KB
2024-10-29 02:43:00
cryptominisat_5.11.21+dfsg1-1+b2_armel.deb
78.41KB
2024-10-28 22:47:36
cryptominisat_5.11.21+dfsg1-1+b2_armhf.deb
81.27KB
2024-10-28 20:13:08
cryptominisat_5.11.21+dfsg1-1+b2_i386.deb
95.43KB
2024-10-28 17:41:27
cryptominisat_5.11.21+dfsg1-1+b2_mips64el.deb
81.57KB
2024-10-29 05:41:10
cryptominisat_5.11.21+dfsg1-1+b2_ppc64el.deb
89.27KB
2024-10-28 16:41:27
cryptominisat_5.11.21+dfsg1-1+b2_s390x.deb
85.66KB
2024-10-29 11:54:19
cryptominisat_5.11.21+dfsg1-1.debian.tar.xz
6.46KB
2024-05-03 06:30:46
cryptominisat_5.11.21+dfsg1-1.dsc
2.44KB
2024-05-03 06:30:46
cryptominisat_5.11.21+dfsg1.orig.tar.xz
470.20KB
2024-05-03 06:30:46
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_amd64.deb
406.28KB
2020-12-12 14:13:58
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_arm64.deb
370.11KB
2020-12-12 12:00:17
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_armel.deb
365.69KB
2020-12-12 13:11:43
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_armhf.deb
375.71KB
2020-12-12 15:26:42
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_i386.deb
431.58KB
2020-12-12 14:39:56
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_mips64el.deb
389.02KB
2020-12-12 23:25:52
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_mipsel.deb
405.19KB
2020-12-13 10:56:33
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_ppc64el.deb
445.03KB
2020-12-12 16:28:31
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_s390x.deb
372.41KB
2020-12-12 21:57:48
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_amd64.deb
509.09KB
2024-10-28 16:52:12
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_arm64.deb
461.31KB
2024-10-29 02:43:01
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_armel.deb
447.70KB
2024-10-28 22:47:36
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_armhf.deb
465.43KB
2024-10-28 20:13:08
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_i386.deb
534.71KB
2024-10-28 17:41:27
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_mips64el.deb
472.22KB
2024-10-29 05:41:10
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_ppc64el.deb
541.34KB
2024-10-28 16:41:27
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_s390x.deb
536.55KB
2024-10-29 11:54:19
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_amd64.deb
490.29KB
2023-01-03 06:27:49
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_arm64.deb
440.42KB
2023-01-03 06:58:45
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armel.deb
432.08KB
2023-01-03 06:59:03
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armhf.deb
450.23KB
2023-01-03 06:58:43
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_i386.deb
515.78KB
2023-01-03 07:45:01
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_mips64el.deb
462.90KB
2023-01-03 06:12:19
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_mipsel.deb
476.99KB
2023-01-03 06:43:33
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_ppc64el.deb
529.89KB
2023-01-04 23:55:58
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_s390x.deb
448.77KB
2023-01-06 00:56:18
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_amd64.deb
13.65KB
2020-12-12 14:13:58
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_arm64.deb
13.62KB
2020-12-12 12:00:17
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_armel.deb
13.63KB
2020-12-12 13:11:43
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_armhf.deb
13.62KB
2020-12-12 15:26:42
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_i386.deb
13.62KB
2020-12-12 14:39:56
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_mips64el.deb
13.62KB
2020-12-12 23:25:52
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_mipsel.deb
13.61KB
2020-12-13 10:56:33
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_ppc64el.deb
13.63KB
2020-12-12 16:28:31
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_s390x.deb
13.62KB
2020-12-12 21:57:48
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_amd64.deb
17.89KB
2023-01-03 06:27:49
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_arm64.deb
17.89KB
2023-01-03 06:58:45
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armel.deb
17.87KB
2023-01-03 06:59:03
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armhf.deb
17.89KB
2023-01-03 06:58:43
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_i386.deb
17.89KB
2023-01-03 07:45:01
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_mips64el.deb
17.90KB
2023-01-03 06:12:19
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_mipsel.deb
17.89KB
2023-01-03 06:43:33
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_ppc64el.deb
17.89KB
2023-01-04 23:55:58
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_s390x.deb
17.88KB
2023-01-06 00:56:18
libcryptominisat5-dev_5.11.21+dfsg1-1+b2_amd64.deb
18.60KB
2024-10-28 16:52:12
libcryptominisat5-dev_5.11.21+dfsg1-1+b2_arm64.deb
18.59KB
2024-10-29 02:43:01
libcryptominisat5-dev_5.11.21+dfsg1-1+b2_armel.deb
18.59KB
2024-10-28 22:47:36
libcryptominisat5-dev_5.11.21+dfsg1-1+b2_armhf.deb
18.59KB
2024-10-28 20:13:08
libcryptominisat5-dev_5.11.21+dfsg1-1+b2_i386.deb
18.60KB
2024-10-28 17:41:27
libcryptominisat5-dev_5.11.21+dfsg1-1+b2_mips64el.deb
18.62KB
2024-10-29 05:41:10
libcryptominisat5-dev_5.11.21+dfsg1-1+b2_ppc64el.deb
18.61KB
2024-10-28 16:41:27
libcryptominisat5-dev_5.11.21+dfsg1-1+b2_s390x.deb
18.59KB
2024-10-29 11:54:19
python3-cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb
18.70KB
2020-12-12 14:13:58
python3-cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb
18.34KB
2020-12-12 12:00:17
python3-cryptominisat_5.8.0+dfsg1-1+b3_armel.deb
17.52KB
2020-12-12 13:11:43
python3-cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb
17.59KB
2020-12-12 15:26:42
python3-cryptominisat_5.8.0+dfsg1-1+b3_i386.deb
19.48KB
2020-12-12 14:39:56
python3-cryptominisat_5.8.0+dfsg1-1+b3_mips64el.deb
18.79KB
2020-12-12 23:25:52
python3-cryptominisat_5.8.0+dfsg1-1+b3_mipsel.deb
18.71KB
2020-12-13 10:56:33
python3-cryptominisat_5.8.0+dfsg1-1+b3_ppc64el.deb
19.67KB
2020-12-12 16:28:31
python3-cryptominisat_5.8.0+dfsg1-1+b3_s390x.deb
18.23KB
2020-12-12 21:57:48
python3-cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb
520.02KB
2023-01-03 06:27:49
python3-cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb
478.79KB
2023-01-03 06:58:45
python3-cryptominisat_5.11.4+dfsg1-2+b1_armel.deb
462.07KB
2023-01-03 06:59:03
python3-cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb
473.13KB
2023-01-03 06:58:43
python3-cryptominisat_5.11.4+dfsg1-2+b1_i386.deb
575.75KB
2023-01-03 07:45:01
python3-cryptominisat_5.11.4+dfsg1-2+b1_mips64el.deb
494.30KB
2023-01-03 06:12:19
python3-cryptominisat_5.11.4+dfsg1-2+b1_mipsel.deb
511.17KB
2023-01-03 06:43:33
python3-cryptominisat_5.11.4+dfsg1-2+b1_ppc64el.deb
555.54KB
2023-01-04 23:55:58
python3-cryptominisat_5.11.4+dfsg1-2+b1_s390x.deb
482.55KB
2023-01-06 00:56:18
python3-cryptominisat_5.11.21+dfsg1-1+b2_amd64.deb
576.62KB
2024-10-28 16:52:12
python3-cryptominisat_5.11.21+dfsg1-1+b2_arm64.deb
529.25KB
2024-10-29 02:43:01
python3-cryptominisat_5.11.21+dfsg1-1+b2_armel.deb
511.22KB
2024-10-28 22:47:36
python3-cryptominisat_5.11.21+dfsg1-1+b2_armhf.deb
524.38KB
2024-10-28 20:13:08
python3-cryptominisat_5.11.21+dfsg1-1+b2_i386.deb
631.62KB
2024-10-28 17:41:27
python3-cryptominisat_5.11.21+dfsg1-1+b2_mips64el.deb
531.72KB
2024-10-29 05:41:10
python3-cryptominisat_5.11.21+dfsg1-1+b2_ppc64el.deb
602.90KB
2024-10-28 16:41:27
python3-cryptominisat_5.11.21+dfsg1-1+b2_s390x.deb
598.86KB
2024-10-29 11:54:19