| cryptominisat_5.11.15+dfsg1-1.1build1.debian.tar.xz | 5.59 KB | 03/31/2024, 18:36:44 |
| cryptominisat_5.11.15+dfsg1-1.1build1.dsc | 2.56 KB | 03/31/2024, 18:36:44 |
| cryptominisat_5.11.15+dfsg1-1.1build1_amd64.deb | 81.11 KB | 04/01/2024, 03:47:03 |
| cryptominisat_5.11.15+dfsg1.orig.tar.xz | 463.71 KB | 12/14/2023, 17:37:25 |
| cryptominisat_5.11.21+dfsg1-1.debian.tar.xz | 6.46 KB | 05/03/2024, 11:29:03 |
| cryptominisat_5.11.21+dfsg1-1.dsc | 2.44 KB | 05/03/2024, 11:29:03 |
| cryptominisat_5.11.21+dfsg1-1_amd64.deb | 91.47 KB | 05/03/2024, 12:05:14 |
| cryptominisat_5.11.21+dfsg1-1build1.debian.tar.xz | 6.55 KB | 01/03/2025, 14:35:59 |
| cryptominisat_5.11.21+dfsg1-1build1.dsc | 2.44 KB | 01/03/2025, 14:36:00 |
| cryptominisat_5.11.21+dfsg1-1build1_amd64.deb | 93.52 KB | 01/03/2025, 14:37:16 |
| cryptominisat_5.11.21+dfsg1.orig.tar.xz | 470.20 KB | 05/03/2024, 11:29:03 |
| cryptominisat_5.8.0+dfsg1-2.debian.tar.xz | 6.12 KB | 02/22/2022, 23:24:36 |
| cryptominisat_5.8.0+dfsg1-2.dsc | 2.35 KB | 02/22/2022, 23:24:36 |
| cryptominisat_5.8.0+dfsg1-2_amd64.deb | 90.78 KB | 02/22/2022, 23:45:17 |
| cryptominisat_5.8.0+dfsg1.orig.tar.xz | 440.73 KB | 07/13/2020, 17:24:37 |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_amd64.deb | 436.84 KB | 04/01/2024, 03:47:03 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1_amd64.deb | 434.76 KB | 05/03/2024, 12:05:14 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_amd64.deb | 447.13 KB | 01/03/2025, 14:37:15 |
| libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb | 377.64 KB | 02/22/2022, 23:45:17 |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_amd64.deb | 17.33 KB | 04/01/2024, 03:47:03 |
| libcryptominisat5-dev_5.11.21+dfsg1-1_amd64.deb | 17.38 KB | 05/03/2024, 12:05:14 |
| libcryptominisat5-dev_5.11.21+dfsg1-1build1_amd64.deb | 17.40 KB | 01/03/2025, 14:37:15 |
| libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb | 12.67 KB | 02/22/2022, 23:45:17 |
| python3-cryptominisat_5.11.15+dfsg1-1.1build1_amd64.deb | 513.64 KB | 04/01/2024, 03:47:03 |
| python3-cryptominisat_5.11.21+dfsg1-1_amd64.deb | 511.70 KB | 05/03/2024, 12:05:14 |
| python3-cryptominisat_5.11.21+dfsg1-1build1_amd64.deb | 608.42 KB | 01/03/2025, 14:37:15 |
| python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb | 19.13 KB | 02/22/2022, 23:45:17 |
