Directory listing of http://mirror.proxhost.id/ubuntu/pool/universe/c/cryptominisat
mirror.proxhost.id
/
ubuntu
/
pool
/
universe
/
c
/
cryptominisat
File
Size
Last Modified
..
-
2026-02-14 12:08:05
cryptominisat_5.8.0+dfsg1-2.debian.tar.xz
6.12KB
2022-02-22 23:24:36
cryptominisat_5.8.0+dfsg1-2.dsc
2.35KB
2022-02-22 23:24:36
cryptominisat_5.8.0+dfsg1-2_amd64.deb
90.78KB
2022-02-22 23:45:17
cryptominisat_5.8.0+dfsg1.orig.tar.xz
440.73KB
2020-07-13 17:24:37
cryptominisat_5.11.15+dfsg1-1.1build1.debian.tar.xz
5.59KB
2024-03-31 18:36:44
cryptominisat_5.11.15+dfsg1-1.1build1.dsc
2.56KB
2024-03-31 18:36:44
cryptominisat_5.11.15+dfsg1-1.1build1_amd64.deb
81.11KB
2024-04-01 03:47:03
cryptominisat_5.11.15+dfsg1.orig.tar.xz
463.71KB
2023-12-14 17:37:25
cryptominisat_5.11.21+dfsg1-1build1.debian.tar.xz
6.55KB
2025-01-03 14:35:59
cryptominisat_5.11.21+dfsg1-1build1.dsc
2.44KB
2025-01-03 14:36:00
cryptominisat_5.11.21+dfsg1-1build1_amd64.deb
93.52KB
2025-01-03 14:37:16
cryptominisat_5.11.21+dfsg1-2.debian.tar.xz
6.54KB
2025-05-25 05:49:09
cryptominisat_5.11.21+dfsg1-2.dsc
2.46KB
2025-05-25 05:49:09
cryptominisat_5.11.21+dfsg1-2_amd64.deb
93.85KB
2025-05-25 05:49:10
cryptominisat_5.11.21+dfsg1-2_arm64.deb
84.84KB
2025-05-25 05:49:12
cryptominisat_5.11.21+dfsg1-3build1.debian.tar.xz
6.93KB
2026-01-22 20:33:58
cryptominisat_5.11.21+dfsg1-3build1.dsc
2.45KB
2026-01-22 20:33:58
cryptominisat_5.11.21+dfsg1-3build1_amd64.deb
94.12KB
2026-01-23 01:09:22
cryptominisat_5.11.21+dfsg1-3build1_amd64v3.deb
94.96KB
2026-01-23 01:11:52
cryptominisat_5.11.21+dfsg1-3build1_arm64.deb
83.64KB
2026-01-23 01:14:37
cryptominisat_5.11.21+dfsg1.orig.tar.xz
470.20KB
2024-05-03 11:29:03
libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb
377.64KB
2022-02-22 23:45:17
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_amd64.deb
436.84KB
2024-04-01 03:47:03
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_amd64.deb
447.12KB
2025-01-03 14:37:15
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_amd64.deb
446.63KB
2025-05-25 05:49:10
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_arm64.deb
437.85KB
2025-05-25 05:49:12
libcryptominisat5-5.11t64_5.11.21+dfsg1-3build1_amd64.deb
446.16KB
2026-01-23 01:09:21
libcryptominisat5-5.11t64_5.11.21+dfsg1-3build1_amd64v3.deb
454.41KB
2026-01-23 01:11:52
libcryptominisat5-5.11t64_5.11.21+dfsg1-3build1_arm64.deb
422.97KB
2026-01-23 01:14:36
libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb
12.67KB
2022-02-22 23:45:17
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_amd64.deb
17.33KB
2024-04-01 03:47:03
libcryptominisat5-dev_5.11.21+dfsg1-1build1_amd64.deb
17.40KB
2025-01-03 14:37:15
libcryptominisat5-dev_5.11.21+dfsg1-2_amd64.deb
17.40KB
2025-05-25 05:49:09
libcryptominisat5-dev_5.11.21+dfsg1-2_arm64.deb
17.40KB
2025-05-25 05:49:12
libcryptominisat5-dev_5.11.21+dfsg1-3build1_amd64.deb
17.39KB
2026-01-23 01:09:21
libcryptominisat5-dev_5.11.21+dfsg1-3build1_amd64v3.deb
17.40KB
2026-01-23 01:11:52
libcryptominisat5-dev_5.11.21+dfsg1-3build1_arm64.deb
17.38KB
2026-01-23 01:14:36
python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb
19.13KB
2022-02-22 23:45:17
python3-cryptominisat_5.11.15+dfsg1-1.1build1_amd64.deb
513.64KB
2024-04-01 03:47:03
python3-cryptominisat_5.11.21+dfsg1-1build1_amd64.deb
608.42KB
2025-01-03 14:37:15
python3-cryptominisat_5.11.21+dfsg1-2_amd64.deb
577.69KB
2025-05-25 05:49:09
python3-cryptominisat_5.11.21+dfsg1-2_arm64.deb
570.76KB
2025-05-25 05:49:11
python3-cryptominisat_5.11.21+dfsg1-3build1_amd64.deb
579.46KB
2026-01-23 01:09:21
python3-cryptominisat_5.11.21+dfsg1-3build1_amd64v3.deb
588.40KB
2026-01-23 01:11:52
python3-cryptominisat_5.11.21+dfsg1-3build1_arm64.deb
554.66KB
2026-01-23 01:14:36