Index of /ubuntu/pool/universe/c/cryptominisat/
name
size
date
cryptominisat_5.11.21+dfsg1-3build1_amd64v3.deb
95.0K
2026-01-23 01:11:52
libcryptominisat5-5.11t64_5.11.21+dfsg1-3build1_amd64v3.deb
454.4K
2026-01-23 01:11:52
libcryptominisat5-dev_5.11.21+dfsg1-3build1_amd64v3.deb
17.4K
2026-01-23 01:11:52
python3-cryptominisat_5.11.21+dfsg1-3build1_amd64v3.deb
0.57M
2026-01-23 01:11:52
cryptominisat_5.11.21+dfsg1-3build1_amd64.deb
94.1K
2026-01-23 01:09:22
libcryptominisat5-5.11t64_5.11.21+dfsg1-3build1_amd64.deb
446.2K
2026-01-23 01:09:21
libcryptominisat5-dev_5.11.21+dfsg1-3build1_amd64.deb
17.4K
2026-01-23 01:09:21
python3-cryptominisat_5.11.21+dfsg1-3build1_amd64.deb
0.57M
2026-01-23 01:09:21
cryptominisat_5.11.21+dfsg1-3build1.debian.tar.xz
6.9K
2026-01-22 20:33:58
cryptominisat_5.11.21+dfsg1-3build1.dsc
2.4K
2026-01-22 20:33:58
cryptominisat_5.11.21+dfsg1-3_amd64v3.deb
95.0K
2025-10-28 00:29:28
libcryptominisat5-5.11t64_5.11.21+dfsg1-3_amd64v3.deb
454.4K
2025-10-28 00:29:27
libcryptominisat5-dev_5.11.21+dfsg1-3_amd64v3.deb
17.4K
2025-10-28 00:29:27
python3-cryptominisat_5.11.21+dfsg1-3_amd64v3.deb
0.57M
2025-10-28 00:29:27
cryptominisat_5.11.21+dfsg1-3_amd64.deb
94.1K
2025-10-28 00:17:20
libcryptominisat5-5.11t64_5.11.21+dfsg1-3_amd64.deb
446.2K
2025-10-28 00:17:19
libcryptominisat5-dev_5.11.21+dfsg1-3_amd64.deb
17.4K
2025-10-28 00:17:19
python3-cryptominisat_5.11.21+dfsg1-3_amd64.deb
0.57M
2025-10-28 00:17:19
cryptominisat_5.11.21+dfsg1-3.debian.tar.xz
6.9K
2025-10-28 00:02:03
cryptominisat_5.11.21+dfsg1-3.dsc
2.4K
2025-10-28 00:02:03
cryptominisat_5.11.21+dfsg1-2_amd64.deb
93.8K
2025-05-25 05:49:10
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_amd64.deb
446.6K
2025-05-25 05:49:10
cryptominisat_5.11.21+dfsg1-2.debian.tar.xz
6.5K
2025-05-25 05:49:09
cryptominisat_5.11.21+dfsg1-2.dsc
2.5K
2025-05-25 05:49:09
libcryptominisat5-dev_5.11.21+dfsg1-2_amd64.deb
17.4K
2025-05-25 05:49:09
python3-cryptominisat_5.11.21+dfsg1-2_amd64.deb
0.56M
2025-05-25 05:49:09
cryptominisat_5.11.21+dfsg1-1build1_amd64.deb
93.5K
2025-01-03 14:37:16
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_amd64.deb
447.1K
2025-01-03 14:37:15
libcryptominisat5-dev_5.11.21+dfsg1-1build1_amd64.deb
17.4K
2025-01-03 14:37:15
python3-cryptominisat_5.11.21+dfsg1-1build1_amd64.deb
0.59M
2025-01-03 14:37:15
cryptominisat_5.11.21+dfsg1-1build1.dsc
2.4K
2025-01-03 14:36:00
cryptominisat_5.11.21+dfsg1-1build1.debian.tar.xz
6.5K
2025-01-03 14:35:59
cryptominisat_5.11.21+dfsg1.orig.tar.xz
470.2K
2024-05-03 11:29:03
cryptominisat_5.11.15+dfsg1-1.1build1_amd64.deb
81.1K
2024-04-01 03:47:03
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_amd64.deb
436.8K
2024-04-01 03:47:03
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_amd64.deb
17.3K
2024-04-01 03:47:03
python3-cryptominisat_5.11.15+dfsg1-1.1build1_amd64.deb
0.50M
2024-04-01 03:47:03
cryptominisat_5.11.15+dfsg1-1.1build1.debian.tar.xz
5.6K
2024-03-31 18:36:44
cryptominisat_5.11.15+dfsg1-1.1build1.dsc
2.6K
2024-03-31 18:36:44
cryptominisat_5.11.15+dfsg1.orig.tar.xz
463.7K
2023-12-14 17:37:25
cryptominisat_5.8.0+dfsg1-2_amd64.deb
90.8K
2022-02-22 23:45:17
libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb
377.6K
2022-02-22 23:45:17
libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb
12.7K
2022-02-22 23:45:17
python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb
19.1K
2022-02-22 23:45:17
cryptominisat_5.8.0+dfsg1-2.debian.tar.xz
6.1K
2022-02-22 23:24:36
cryptominisat_5.8.0+dfsg1-2.dsc
2.4K
2022-02-22 23:24:36
cryptominisat_5.8.0+dfsg1.orig.tar.xz
440.7K
2020-07-13 17:24:37