Index of /ubuntu-old/pool/universe/c/cryptominisat/
name
size
date
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_amd64.deb
434.8K
2025-09-13 01:54:48
libcryptominisat5-dev_5.11.21+dfsg1-1_amd64.deb
17.4K
2025-09-13 01:54:48
python3-cryptominisat_5.11.21+dfsg1-1_amd64.deb
511.7K
2025-09-13 01:54:48
cryptominisat_5.11.21+dfsg1-1_amd64.deb
91.5K
2025-09-13 01:54:47
python3-cryptominisat_5.11.4+dfsg1-2build1_amd64.deb
0.51M
2024-11-26 13:23:50
cryptominisat_5.11.4+dfsg1-2build1_amd64.deb
77.8K
2024-11-26 13:23:49
libcryptominisat5-5.11_5.11.4+dfsg1-2build1_amd64.deb
431.5K
2024-11-26 13:23:49
libcryptominisat5-dev_5.11.4+dfsg1-2build1_amd64.deb
16.9K
2024-11-26 13:23:49
cryptominisat_5.11.4+dfsg1-3_amd64.deb
79.1K
2024-11-15 03:07:48
libcryptominisat5-5.11_5.11.4+dfsg1-3_amd64.deb
435.1K
2024-11-15 03:07:48
libcryptominisat5-dev_5.11.4+dfsg1-3_amd64.deb
16.9K
2024-11-15 03:07:48
python3-cryptominisat_5.11.4+dfsg1-3_amd64.deb
0.51M
2024-11-15 03:07:48
libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb
12.7K
2023-08-11 04:24:44
python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb
19.1K
2023-08-11 04:24:44
cryptominisat_5.8.0+dfsg1-2_amd64.deb
90.8K
2023-08-11 04:24:43
libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb
377.6K
2023-08-11 04:24:43
cryptominisat_5.8.0+dfsg1-1build2_amd64.deb
85.6K
2023-03-29 21:49:32
libcryptominisat5-5.8_5.8.0+dfsg1-1build2_amd64.deb
406.2K
2023-03-29 21:49:32
libcryptominisat5-dev_5.8.0+dfsg1-1build2_amd64.deb
12.6K
2023-03-29 21:49:32
python3-cryptominisat_5.8.0+dfsg1-1build2_amd64.deb
17.9K
2023-03-29 21:49:32
cryptominisat_5.8.0+dfsg1-1_amd64.deb
94.3K
2022-02-24 21:40:04
libcryptominisat5-5.8_5.8.0+dfsg1-1_amd64.deb
419.1K
2022-02-24 21:40:04
libcryptominisat5-dev_5.8.0+dfsg1-1_amd64.deb
12.6K
2022-02-24 21:40:04
python3-cryptominisat_5.8.0+dfsg1-1_amd64.deb
17.8K
2022-02-24 21:40:04