| Parent Directory/ | | - | Directory |
| cryptominisat_5.11.21+dfsg1-3+b1_amd64.deb | 2026-Jan-16 15:57:29 | 88.8K | application/octet-stream |
| cryptominisat_5.11.21+dfsg1-3+b1_arm64.deb | 2026-Jan-16 15:41:21 | 78.6K | application/octet-stream |
| cryptominisat_5.11.21+dfsg1-3+b1_armhf.deb | 2026-Jan-16 15:46:35 | 81.9K | application/octet-stream |
| cryptominisat_5.11.21+dfsg1-3+b1_i386.deb | 2026-Jan-16 17:18:51 | 95.9K | application/octet-stream |
| cryptominisat_5.11.21+dfsg1-3+b2_amd64.deb | 2026-Apr-23 22:31:03 | 88.2K | application/octet-stream |
| cryptominisat_5.11.21+dfsg1-3+b2_arm64.deb | 2026-Apr-23 13:37:45 | 78.2K | application/octet-stream |
| cryptominisat_5.11.21+dfsg1-3+b2_armhf.deb | 2026-Apr-23 17:03:59 | 81.4K | application/octet-stream |
| cryptominisat_5.11.21+dfsg1-3+b2_i386.deb | 2026-Apr-24 00:29:03 | 95.5K | application/octet-stream |
| cryptominisat_5.11.21+dfsg1-3.debian.tar.xz | 2025-Aug-13 08:03:47 | 6.8K | application/octet-stream |
| cryptominisat_5.11.21+dfsg1-3.dsc | 2025-Aug-13 08:03:47 | 2.4K | application/octet-stream |
| cryptominisat_5.11.21+dfsg1.orig.tar.xz | 2024-May-03 08:30:46 | 470.2K | application/octet-stream |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b1_amd64.deb | 2026-Jan-16 15:57:29 | 508.9K | application/octet-stream |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b1_arm64.deb | 2026-Jan-16 15:41:21 | 447.9K | application/octet-stream |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b1_armhf.deb | 2026-Jan-16 15:46:35 | 460.7K | application/octet-stream |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b1_i386.deb | 2026-Jan-16 17:18:51 | 532.0K | application/octet-stream |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b2_amd64.deb | 2026-Apr-23 22:31:03 | 509.8K | application/octet-stream |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b2_arm64.deb | 2026-Apr-23 13:37:45 | 449.2K | application/octet-stream |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b2_armhf.deb | 2026-Apr-23 17:03:59 | 460.7K | application/octet-stream |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b2_i386.deb | 2026-Apr-24 00:29:03 | 533.2K | application/octet-stream |
| libcryptominisat5-dev_5.11.21+dfsg1-3+b1_amd64.deb | 2026-Jan-16 15:57:29 | 18.7K | application/octet-stream |
| libcryptominisat5-dev_5.11.21+dfsg1-3+b1_arm64.deb | 2026-Jan-16 15:41:21 | 18.7K | application/octet-stream |
| libcryptominisat5-dev_5.11.21+dfsg1-3+b1_armhf.deb | 2026-Jan-16 15:46:35 | 18.7K | application/octet-stream |
| libcryptominisat5-dev_5.11.21+dfsg1-3+b1_i386.deb | 2026-Jan-16 17:18:51 | 18.7K | application/octet-stream |
| libcryptominisat5-dev_5.11.21+dfsg1-3+b2_amd64.deb | 2026-Apr-23 22:31:03 | 18.1K | application/octet-stream |
| libcryptominisat5-dev_5.11.21+dfsg1-3+b2_arm64.deb | 2026-Apr-23 13:37:45 | 18.1K | application/octet-stream |
| libcryptominisat5-dev_5.11.21+dfsg1-3+b2_armhf.deb | 2026-Apr-23 17:03:59 | 18.2K | application/octet-stream |
| libcryptominisat5-dev_5.11.21+dfsg1-3+b2_i386.deb | 2026-Apr-24 00:29:03 | 18.2K | application/octet-stream |
| python3-cryptominisat_5.11.21+dfsg1-3+b1_amd64.deb | 2026-Jan-16 15:57:29 | 584.4K | application/octet-stream |
| python3-cryptominisat_5.11.21+dfsg1-3+b1_arm64.deb | 2026-Jan-16 15:41:21 | 523.5K | application/octet-stream |
| python3-cryptominisat_5.11.21+dfsg1-3+b1_armhf.deb | 2026-Jan-16 15:46:35 | 528.0K | application/octet-stream |
| python3-cryptominisat_5.11.21+dfsg1-3+b1_i386.deb | 2026-Jan-16 17:18:51 | 634.1K | application/octet-stream |
| python3-cryptominisat_5.11.21+dfsg1-3+b2_amd64.deb | 2026-Apr-23 22:31:03 | 585.4K | application/octet-stream |
| python3-cryptominisat_5.11.21+dfsg1-3+b2_arm64.deb | 2026-Apr-23 13:37:45 | 524.5K | application/octet-stream |
| python3-cryptominisat_5.11.21+dfsg1-3+b2_armhf.deb | 2026-Apr-23 17:03:59 | 528.7K | application/octet-stream |
| python3-cryptominisat_5.11.21+dfsg1-3+b2_i386.deb | 2026-Apr-24 00:29:03 | 635.4K | application/octet-stream |