uk-mirror.onlyservers.com
Sync healthy Servers, Bandwidth and storage provided by OnlyServers UK Browse

Index of /ubuntu/pool/universe/c/cryptominisat/

Show dotfiles
Name
Last modified
Size
../
-
-
cryptominisat_5.11.15+dfsg1-1.1build1.debian.tar.xz
31-Mar-2024 18:36
5.59 KB
cryptominisat_5.11.15+dfsg1-1.1build1.dsc
31-Mar-2024 18:36
2.56 KB
cryptominisat_5.11.15+dfsg1-1.1build1_amd64.deb
01-Apr-2024 03:47
81.11 KB
cryptominisat_5.11.15+dfsg1.orig.tar.xz
14-Dec-2023 17:37
463.71 KB
cryptominisat_5.11.21+dfsg1-1build1.debian.tar.xz
03-Jan-2025 14:35
6.55 KB
cryptominisat_5.11.21+dfsg1-1build1.dsc
03-Jan-2025 14:36
2.44 KB
cryptominisat_5.11.21+dfsg1-1build1_amd64.deb
03-Jan-2025 14:37
93.52 KB
cryptominisat_5.11.21+dfsg1-2.debian.tar.xz
25-May-2025 05:49
6.54 KB
cryptominisat_5.11.21+dfsg1-2.dsc
25-May-2025 05:49
2.46 KB
cryptominisat_5.11.21+dfsg1-2_amd64.deb
25-May-2025 05:49
93.85 KB
cryptominisat_5.11.21+dfsg1-3.debian.tar.xz
28-Oct-2025 00:02
6.86 KB
cryptominisat_5.11.21+dfsg1-3.dsc
28-Oct-2025 00:02
2.45 KB
cryptominisat_5.11.21+dfsg1-3_amd64.deb
28-Oct-2025 00:17
94.11 KB
cryptominisat_5.11.21+dfsg1-3_amd64v3.deb
28-Oct-2025 00:29
94.98 KB
cryptominisat_5.11.21+dfsg1-3build1.debian.tar.xz
22-Jan-2026 20:33
6.93 KB
cryptominisat_5.11.21+dfsg1-3build1.dsc
22-Jan-2026 20:33
2.45 KB
cryptominisat_5.11.21+dfsg1-3build1_amd64.deb
23-Jan-2026 01:09
94.12 KB
cryptominisat_5.11.21+dfsg1-3build1_amd64v3.deb
23-Jan-2026 01:11
94.96 KB
cryptominisat_5.11.21+dfsg1.orig.tar.xz
03-May-2024 11:29
470.2 KB
cryptominisat_5.8.0+dfsg1-2.debian.tar.xz
22-Feb-2022 23:24
6.12 KB
cryptominisat_5.8.0+dfsg1-2.dsc
22-Feb-2022 23:24
2.35 KB
cryptominisat_5.8.0+dfsg1-2_amd64.deb
22-Feb-2022 23:45
90.78 KB
cryptominisat_5.8.0+dfsg1.orig.tar.xz
13-Jul-2020 17:24
440.73 KB
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_amd64.deb
01-Apr-2024 03:47
436.84 KB
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_amd64.deb
03-Jan-2025 14:37
447.13 KB
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_amd64.deb
25-May-2025 05:49
446.63 KB
libcryptominisat5-5.11t64_5.11.21+dfsg1-3_amd64.deb
28-Oct-2025 00:17
446.17 KB
libcryptominisat5-5.11t64_5.11.21+dfsg1-3_amd64v3.deb
28-Oct-2025 00:29
454.37 KB
libcryptominisat5-5.11t64_5.11.21+dfsg1-3build1_amd64.deb
23-Jan-2026 01:09
446.16 KB
libcryptominisat5-5.11t64_5.11.21+dfsg1-3build1_amd64v3.deb
23-Jan-2026 01:11
454.41 KB
libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb
22-Feb-2022 23:45
377.64 KB
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_amd64.deb
01-Apr-2024 03:47
17.33 KB
libcryptominisat5-dev_5.11.21+dfsg1-1build1_amd64.deb
03-Jan-2025 14:37
17.4 KB
libcryptominisat5-dev_5.11.21+dfsg1-2_amd64.deb
25-May-2025 05:49
17.4 KB
libcryptominisat5-dev_5.11.21+dfsg1-3_amd64.deb
28-Oct-2025 00:17
17.4 KB
libcryptominisat5-dev_5.11.21+dfsg1-3_amd64v3.deb
28-Oct-2025 00:29
17.41 KB
libcryptominisat5-dev_5.11.21+dfsg1-3build1_amd64.deb
23-Jan-2026 01:09
17.39 KB
libcryptominisat5-dev_5.11.21+dfsg1-3build1_amd64v3.deb
23-Jan-2026 01:11
17.4 KB
libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb
22-Feb-2022 23:45
12.67 KB
python3-cryptominisat_5.11.15+dfsg1-1.1build1_amd64.deb
01-Apr-2024 03:47
513.64 KB
python3-cryptominisat_5.11.21+dfsg1-1build1_amd64.deb
03-Jan-2025 14:37
608.42 KB
python3-cryptominisat_5.11.21+dfsg1-2_amd64.deb
25-May-2025 05:49
577.69 KB
python3-cryptominisat_5.11.21+dfsg1-3_amd64.deb
28-Oct-2025 00:17
579.44 KB
python3-cryptominisat_5.11.21+dfsg1-3_amd64v3.deb
28-Oct-2025 00:29
588.37 KB
python3-cryptominisat_5.11.21+dfsg1-3build1_amd64.deb
23-Jan-2026 01:09
579.46 KB
python3-cryptominisat_5.11.21+dfsg1-3build1_amd64v3.deb
23-Jan-2026 01:11
588.4 KB
python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb
22-Feb-2022 23:45
19.13 KB