| Parent directory/ | - | - |
| libcryptominisat5-dev_5.11.21+dfsg1-2_arm64.deb | 18820 | 2025-May-25 08:32 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-2_arm64.deb | 471604 | 2025-May-25 08:32 |
| python3-cryptominisat_5.11.21+dfsg1-2_arm64.deb | 548044 | 2025-May-25 08:32 |
| cryptominisat_5.11.21+dfsg1-2_arm64.deb | 81248 | 2025-May-25 08:32 |
| python3-cryptominisat_5.11.21+dfsg1-2_armhf.deb | 541996 | 2025-May-25 08:21 |
| cryptominisat_5.11.21+dfsg1-2_armhf.deb | 83528 | 2025-May-25 08:21 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-2_armhf.deb | 473640 | 2025-May-25 08:21 |
| libcryptominisat5-dev_5.11.21+dfsg1-2_armhf.deb | 18816 | 2025-May-25 08:21 |
| python3-cryptominisat_5.11.21+dfsg1-2_armel.deb | 528152 | 2025-May-25 08:21 |
| libcryptominisat5-dev_5.11.21+dfsg1-2_armel.deb | 18812 | 2025-May-25 08:21 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-2_armel.deb | 453632 | 2025-May-25 08:21 |
| cryptominisat_5.11.21+dfsg1-2_armel.deb | 80612 | 2025-May-25 08:21 |
| libcryptominisat5-dev_5.11.21+dfsg1-2_amd64.deb | 18816 | 2025-May-25 08:21 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-2_amd64.deb | 521412 | 2025-May-25 08:21 |
| cryptominisat_5.11.21+dfsg1-2_amd64.deb | 91392 | 2025-May-25 08:21 |
| python3-cryptominisat_5.11.21+dfsg1-2_amd64.deb | 597204 | 2025-May-25 08:21 |
| libcryptominisat5-dev_5.11.21+dfsg1-2_i386.deb | 18816 | 2025-May-25 08:21 |
| python3-cryptominisat_5.11.21+dfsg1-2_i386.deb | 655504 | 2025-May-25 08:21 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-2_i386.deb | 548920 | 2025-May-25 08:21 |
| cryptominisat_5.11.21+dfsg1-2_i386.deb | 97708 | 2025-May-25 08:21 |
| cryptominisat_5.11.21+dfsg1-2.dsc | 2519 | 2025-May-25 07:55 |
| cryptominisat_5.11.21+dfsg1-2.debian.tar.xz | 6696 | 2025-May-25 07:55 |
| python3-cryptominisat_5.11.21+dfsg1-1+b3_armhf.deb | 537488 | 2025-Jan-07 23:28 |
| cryptominisat_5.11.21+dfsg1-1+b3_armhf.deb | 83208 | 2025-Jan-07 23:28 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_armhf.deb | 477340 | 2025-Jan-07 23:28 |
| libcryptominisat5-dev_5.11.21+dfsg1-1+b3_armhf.deb | 19052 | 2025-Jan-07 23:28 |
| libcryptominisat5-dev_5.11.21+dfsg1-1+b3_armel.deb | 19044 | 2025-Jan-07 23:13 |
| python3-cryptominisat_5.11.21+dfsg1-1+b3_armel.deb | 523984 | 2025-Jan-07 23:13 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_armel.deb | 458680 | 2025-Jan-07 23:13 |
| cryptominisat_5.11.21+dfsg1-1+b3_armel.deb | 80580 | 2025-Jan-07 23:13 |
| libcryptominisat5-dev_5.11.21+dfsg1-1+b3_arm64.deb | 19048 | 2025-Jan-07 23:02 |
| cryptominisat_5.11.21+dfsg1-1+b3_arm64.deb | 81004 | 2025-Jan-07 23:02 |
| python3-cryptominisat_5.11.21+dfsg1-1+b3_arm64.deb | 542236 | 2025-Jan-07 23:02 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_arm64.deb | 472108 | 2025-Jan-07 23:02 |
| python3-cryptominisat_5.11.21+dfsg1-1+b3_i386.deb | 646920 | 2025-Jan-07 23:02 |
| cryptominisat_5.11.21+dfsg1-1+b3_i386.deb | 97752 | 2025-Jan-07 23:02 |
| 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_i386.deb | 19044 | 2025-Jan-07 23:02 |
| libcryptominisat5-dev_5.11.21+dfsg1-1+b3_amd64.deb | 19036 | 2025-Jan-07 22:47 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_amd64.deb | 521420 | 2025-Jan-07 22:47 |
| cryptominisat_5.11.21+dfsg1-1+b3_amd64.deb | 91340 | 2025-Jan-07 22:47 |
| python3-cryptominisat_5.11.21+dfsg1-1+b3_amd64.deb | 590548 | 2025-Jan-07 22:47 |
| 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 |