KuronekoServer Mirror Server

📂cryptominisat

Name Size Last Modified
../ — —
cryptominisat_5.11.15+dfsg1-1.1build1.debian.tar.xz 5.6 KiB 2024-03-31 18:36:44
cryptominisat_5.11.15+dfsg1-1.1build1.dsc 2.6 KiB 2024-03-31 18:36:44
cryptominisat_5.11.15+dfsg1-1.1build1_amd64.deb 81 KiB 2024-04-01 03:47:03
cryptominisat_5.11.15+dfsg1.orig.tar.xz 464 KiB 2023-12-14 17:37:25
cryptominisat_5.11.21+dfsg1-1build1.debian.tar.xz 6.5 KiB 2025-01-03 14:35:59
cryptominisat_5.11.21+dfsg1-1build1.dsc 2.4 KiB 2025-01-03 14:36:00
cryptominisat_5.11.21+dfsg1-1build1_amd64.deb 94 KiB 2025-01-03 14:37:16
cryptominisat_5.11.21+dfsg1-2.debian.tar.xz 6.5 KiB 2025-05-25 05:49:09
cryptominisat_5.11.21+dfsg1-2.dsc 2.5 KiB 2025-05-25 05:49:09
cryptominisat_5.11.21+dfsg1-2_amd64.deb 94 KiB 2025-05-25 05:49:10
cryptominisat_5.11.21+dfsg1-3.debian.tar.xz 6.9 KiB 2025-10-28 00:02:03
cryptominisat_5.11.21+dfsg1-3.dsc 2.4 KiB 2025-10-28 00:02:03
cryptominisat_5.11.21+dfsg1-3_amd64.deb 94 KiB 2025-10-28 00:17:20
cryptominisat_5.11.21+dfsg1-3_amd64v3.deb 95 KiB 2025-10-28 00:29:28
cryptominisat_5.11.21+dfsg1.orig.tar.xz 470 KiB 2024-05-03 11:29:03
cryptominisat_5.8.0+dfsg1-2.debian.tar.xz 6.1 KiB 2022-02-22 23:24:36
cryptominisat_5.8.0+dfsg1-2.dsc 2.4 KiB 2022-02-22 23:24:36
cryptominisat_5.8.0+dfsg1-2_amd64.deb 91 KiB 2022-02-22 23:45:17
cryptominisat_5.8.0+dfsg1.orig.tar.xz 441 KiB 2020-07-13 17:24:37
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_amd64.deb 437 KiB 2024-04-01 03:47:03
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_amd64.deb 447 KiB 2025-01-03 14:37:15
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_amd64.deb 447 KiB 2025-05-25 05:49:10
libcryptominisat5-5.11t64_5.11.21+dfsg1-3_amd64.deb 446 KiB 2025-10-28 00:17:19
libcryptominisat5-5.11t64_5.11.21+dfsg1-3_amd64v3.deb 454 KiB 2025-10-28 00:29:27
libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb 378 KiB 2022-02-22 23:45:17
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_amd64.deb 17 KiB 2024-04-01 03:47:03
libcryptominisat5-dev_5.11.21+dfsg1-1build1_amd64.deb 17 KiB 2025-01-03 14:37:15
libcryptominisat5-dev_5.11.21+dfsg1-2_amd64.deb 17 KiB 2025-05-25 05:49:09
libcryptominisat5-dev_5.11.21+dfsg1-3_amd64.deb 17 KiB 2025-10-28 00:17:19
libcryptominisat5-dev_5.11.21+dfsg1-3_amd64v3.deb 17 KiB 2025-10-28 00:29:27
libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb 13 KiB 2022-02-22 23:45:17
python3-cryptominisat_5.11.15+dfsg1-1.1build1_amd64.deb 514 KiB 2024-04-01 03:47:03
python3-cryptominisat_5.11.21+dfsg1-1build1_amd64.deb 608 KiB 2025-01-03 14:37:15
python3-cryptominisat_5.11.21+dfsg1-2_amd64.deb 578 KiB 2025-05-25 05:49:09
python3-cryptominisat_5.11.21+dfsg1-3_amd64.deb 579 KiB 2025-10-28 00:17:19
python3-cryptominisat_5.11.21+dfsg1-3_amd64v3.deb 588 KiB 2025-10-28 00:29:27
python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb 19 KiB 2022-02-22 23:45:17