注册用户享1倍加速下载 立即注册
/mirrors_os/ubuntu/pool/universe/c/cryptominisat/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
cryptominisat_5.11.15+dfsg1-1.1build1.debian.ta..>5.6 KiB2024-Apr-01 02:36
cryptominisat_5.11.15+dfsg1-1.1build1.dsc2.6 KiB2024-Apr-01 02:36
cryptominisat_5.11.15+dfsg1-1.1build1_amd64.deb81.1 KiB2024-Apr-01 11:47
cryptominisat_5.11.15+dfsg1.orig.tar.xz463.7 KiB2023-Dec-15 01:37
cryptominisat_5.11.21+dfsg1-1build1.debian.tar.xz6.5 KiB2025-Jan-03 22:35
cryptominisat_5.11.21+dfsg1-1build1.dsc2.4 KiB2025-Jan-03 22:36
cryptominisat_5.11.21+dfsg1-1build1_amd64.deb93.5 KiB2025-Jan-03 22:37
cryptominisat_5.11.21+dfsg1-2.debian.tar.xz6.5 KiB2025-May-25 13:49
cryptominisat_5.11.21+dfsg1-2.dsc2.5 KiB2025-May-25 13:49
cryptominisat_5.11.21+dfsg1-2_amd64.deb93.8 KiB2025-May-25 13:49
cryptominisat_5.11.21+dfsg1-2_arm64.deb84.8 KiB2025-May-25 13:49
cryptominisat_5.11.21+dfsg1-3build1.debian.tar.xz6.9 KiB2026-Jan-23 04:33
cryptominisat_5.11.21+dfsg1-3build1.dsc2.4 KiB2026-Jan-23 04:33
cryptominisat_5.11.21+dfsg1-3build1_amd64.deb94.1 KiB2026-Jan-23 09:09
cryptominisat_5.11.21+dfsg1-3build1_amd64v3.deb95.0 KiB2026-Jan-23 09:11
cryptominisat_5.11.21+dfsg1-3build1_arm64.deb83.6 KiB2026-Jan-23 09:14
cryptominisat_5.11.21+dfsg1.orig.tar.xz470.2 KiB2024-May-03 19:29
cryptominisat_5.8.0+dfsg1-2.debian.tar.xz6.1 KiB2022-Feb-23 07:24
cryptominisat_5.8.0+dfsg1-2.dsc2.4 KiB2022-Feb-23 07:24
cryptominisat_5.8.0+dfsg1-2_amd64.deb90.8 KiB2022-Feb-23 07:45
cryptominisat_5.8.0+dfsg1.orig.tar.xz440.7 KiB2020-Jul-14 01:24
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..>436.8 KiB2024-Apr-01 11:47
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1..>447.1 KiB2025-Jan-03 22:37
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_amd64..>446.6 KiB2025-May-25 13:49
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_arm64..>437.9 KiB2025-May-25 13:49
libcryptominisat5-5.11t64_5.11.21+dfsg1-3build1..>446.2 KiB2026-Jan-23 09:09
libcryptominisat5-5.11t64_5.11.21+dfsg1-3build1..>454.4 KiB2026-Jan-23 09:11
libcryptominisat5-5.11t64_5.11.21+dfsg1-3build1..>423.0 KiB2026-Jan-23 09:14
libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb377.6 KiB2022-Feb-23 07:45
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_a..>17.3 KiB2024-Apr-01 11:47
libcryptominisat5-dev_5.11.21+dfsg1-1build1_amd..>17.4 KiB2025-Jan-03 22:37
libcryptominisat5-dev_5.11.21+dfsg1-2_amd64.deb17.4 KiB2025-May-25 13:49
libcryptominisat5-dev_5.11.21+dfsg1-2_arm64.deb17.4 KiB2025-May-25 13:49
libcryptominisat5-dev_5.11.21+dfsg1-3build1_amd..>17.4 KiB2026-Jan-23 09:09
libcryptominisat5-dev_5.11.21+dfsg1-3build1_amd..>17.4 KiB2026-Jan-23 09:11
libcryptominisat5-dev_5.11.21+dfsg1-3build1_arm..>17.4 KiB2026-Jan-23 09:14
libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb12.7 KiB2022-Feb-23 07:45
python3-cryptominisat_5.11.15+dfsg1-1.1build1_a..>513.6 KiB2024-Apr-01 11:47
python3-cryptominisat_5.11.21+dfsg1-1build1_amd..>608.4 KiB2025-Jan-03 22:37
python3-cryptominisat_5.11.21+dfsg1-2_amd64.deb577.7 KiB2025-May-25 13:49
python3-cryptominisat_5.11.21+dfsg1-2_arm64.deb570.8 KiB2025-May-25 13:49
python3-cryptominisat_5.11.21+dfsg1-3build1_amd..>579.5 KiB2026-Jan-23 09:09
python3-cryptominisat_5.11.21+dfsg1-3build1_amd..>588.4 KiB2026-Jan-23 09:11
python3-cryptominisat_5.11.21+dfsg1-3build1_arm..>554.7 KiB2026-Jan-23 09:14
python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb19.1 KiB2022-Feb-23 07:45