| Parent directory/ | - | - |
| cryptominisat_5.11.21+dfsg1-1+b3_amd64.deb | 91340 | 2025-Jan-07 22:47 |
| cryptominisat_5.11.21+dfsg1-1+b3_arm64.deb | 81004 | 2025-Jan-07 23:02 |
| cryptominisat_5.11.21+dfsg1-1+b3_armel.deb | 80580 | 2025-Jan-07 23:13 |
| cryptominisat_5.11.21+dfsg1-1+b3_armhf.deb | 83208 | 2025-Jan-07 23:28 |
| cryptominisat_5.11.21+dfsg1-1+b3_i386.deb | 97752 | 2025-Jan-07 23:02 |
| cryptominisat_5.11.21+dfsg1-1.debian.tar.xz | 6620 | 2024-May-03 15:30 |
| cryptominisat_5.11.21+dfsg1-1.dsc | 2498 | 2024-May-03 15:30 |
| cryptominisat_5.11.21+dfsg1.orig.tar.xz | 481480 | 2024-May-03 15:30 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_amd64.deb | 521420 | 2025-Jan-07 22:47 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_arm64.deb | 472108 | 2025-Jan-07 23:02 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_armel.deb | 458680 | 2025-Jan-07 23:13 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_armhf.deb | 477340 | 2025-Jan-07 23:28 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_i386.deb | 547508 | 2025-Jan-07 23:02 |
| libcryptominisat5-dev_5.11.21+dfsg1-1+b3_amd64.deb | 19036 | 2025-Jan-07 22:47 |
| libcryptominisat5-dev_5.11.21+dfsg1-1+b3_arm64.deb | 19048 | 2025-Jan-07 23:02 |
| libcryptominisat5-dev_5.11.21+dfsg1-1+b3_armel.deb | 19044 | 2025-Jan-07 23:13 |
| libcryptominisat5-dev_5.11.21+dfsg1-1+b3_armhf.deb | 19052 | 2025-Jan-07 23:28 |
| libcryptominisat5-dev_5.11.21+dfsg1-1+b3_i386.deb | 19044 | 2025-Jan-07 23:02 |
| python3-cryptominisat_5.11.21+dfsg1-1+b3_amd64.deb | 590548 | 2025-Jan-07 22:47 |
| python3-cryptominisat_5.11.21+dfsg1-1+b3_arm64.deb | 542236 | 2025-Jan-07 23:02 |
| python3-cryptominisat_5.11.21+dfsg1-1+b3_armel.deb | 523984 | 2025-Jan-07 23:13 |
| python3-cryptominisat_5.11.21+dfsg1-1+b3_armhf.deb | 537488 | 2025-Jan-07 23:28 |
| python3-cryptominisat_5.11.21+dfsg1-1+b3_i386.deb | 646920 | 2025-Jan-07 23:02 |