| Parent directory/ | - | - |
| cryptominisat_5.11.15+dfsg1-1+b2_amd64.deb | 79.0 KiB | 2024-Jan-05 21:41 |
| cryptominisat_5.11.15+dfsg1-1+b2_arm64.deb | 72.3 KiB | 2024-Jan-05 19:40 |
| cryptominisat_5.11.15+dfsg1-1+b2_armel.deb | 69.9 KiB | 2024-Jan-05 22:19 |
| cryptominisat_5.11.15+dfsg1-1+b2_armhf.deb | 71.1 KiB | 2024-Jan-05 21:18 |
| cryptominisat_5.11.15+dfsg1-1+b2_i386.deb | 81.9 KiB | 2024-Jan-05 22:24 |
| cryptominisat_5.11.15+dfsg1-1.debian.tar.xz | 5.3 KiB | 2023-Dec-14 09:37 |
| cryptominisat_5.11.15+dfsg1-1.dsc | 2.4 KiB | 2023-Dec-14 09:37 |
| cryptominisat_5.11.15+dfsg1.orig.tar.xz | 463.7 KiB | 2023-Dec-14 09:37 |
| cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb | 75.3 KiB | 2023-Jan-03 06:27 |
| cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb | 69.2 KiB | 2023-Jan-03 06:58 |
| cryptominisat_5.11.4+dfsg1-2+b1_armel.deb | 65.7 KiB | 2023-Jan-03 06:59 |
| cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb | 67.4 KiB | 2023-Jan-03 06:58 |
| cryptominisat_5.11.4+dfsg1-2+b1_i386.deb | 79.2 KiB | 2023-Jan-03 07:45 |
| cryptominisat_5.11.4+dfsg1-2.debian.tar.xz | 5.2 KiB | 2022-Nov-03 19:09 |
| cryptominisat_5.11.4+dfsg1-2.dsc | 2.4 KiB | 2022-Nov-03 19:09 |
| cryptominisat_5.11.4+dfsg1-2_amd64.deb | 74.8 KiB | 2022-Nov-03 20:15 |
| cryptominisat_5.11.4+dfsg1-2_arm64.deb | 68.8 KiB | 2022-Nov-03 19:44 |
| cryptominisat_5.11.4+dfsg1-2_armel.deb | 65.4 KiB | 2022-Nov-03 20:15 |
| cryptominisat_5.11.4+dfsg1-2_armhf.deb | 66.9 KiB | 2022-Nov-03 19:59 |
| cryptominisat_5.11.4+dfsg1-2_i386.deb | 78.8 KiB | 2022-Nov-03 20:09 |
| cryptominisat_5.11.4+dfsg1-3.debian.tar.xz | 6.6 KiB | 2023-Jul-14 20:42 |
| cryptominisat_5.11.4+dfsg1-3.dsc | 2.4 KiB | 2023-Jul-14 20:42 |
| cryptominisat_5.11.4+dfsg1-3_amd64.deb | 75.0 KiB | 2023-Jul-14 22:12 |
| cryptominisat_5.11.4+dfsg1-3_arm64.deb | 67.8 KiB | 2023-Jul-14 22:12 |
| cryptominisat_5.11.4+dfsg1-3_armel.deb | 64.9 KiB | 2023-Jul-14 22:12 |
| cryptominisat_5.11.4+dfsg1-3_armhf.deb | 66.3 KiB | 2023-Jul-14 22:12 |
| cryptominisat_5.11.4+dfsg1-3_i386.deb | 78.9 KiB | 2023-Jul-14 21:57 |
| cryptominisat_5.11.4+dfsg1.orig.tar.xz | 517.8 KiB | 2022-Oct-28 21:20 |
| cryptominisat_5.8.0+dfsg1-1+b1_amd64.deb | 95.5 KiB | 2020-Jul-14 20:44 |
| cryptominisat_5.8.0+dfsg1-1+b1_arm64.deb | 88.0 KiB | 2020-Jul-14 20:13 |
| cryptominisat_5.8.0+dfsg1-1+b1_armel.deb | 84.6 KiB | 2020-Jul-14 20:28 |
| cryptominisat_5.8.0+dfsg1-1+b1_armhf.deb | 86.6 KiB | 2020-Jul-14 20:28 |
| cryptominisat_5.8.0+dfsg1-1+b1_i386.deb | 99.5 KiB | 2020-Jul-14 20:44 |
| cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb | 86.0 KiB | 2020-Dec-12 14:13 |
| cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb | 80.6 KiB | 2020-Dec-12 12:00 |
| cryptominisat_5.8.0+dfsg1-1+b3_armel.deb | 78.0 KiB | 2020-Dec-12 13:11 |
| cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb | 80.2 KiB | 2020-Dec-12 15:26 |
| cryptominisat_5.8.0+dfsg1-1+b3_i386.deb | 90.9 KiB | 2020-Dec-12 14:39 |
| cryptominisat_5.8.0+dfsg1-1.debian.tar.xz | 6.0 KiB | 2020-Jul-11 14:16 |
| cryptominisat_5.8.0+dfsg1-1.dsc | 2.4 KiB | 2020-Jul-11 14:16 |
| cryptominisat_5.8.0+dfsg1-2+b1_amd64.deb | 86.7 KiB | 2022-Mar-28 07:29 |
| cryptominisat_5.8.0+dfsg1-2+b1_arm64.deb | 80.5 KiB | 2022-Mar-28 07:14 |
| cryptominisat_5.8.0+dfsg1-2+b1_armel.deb | 77.4 KiB | 2022-Mar-28 07:45 |
| cryptominisat_5.8.0+dfsg1-2+b1_armhf.deb | 79.0 KiB | 2022-Mar-28 07:29 |
| cryptominisat_5.8.0+dfsg1-2+b1_i386.deb | 90.8 KiB | 2022-Mar-28 07:50 |
| cryptominisat_5.8.0+dfsg1-2.debian.tar.xz | 6.1 KiB | 2022-Feb-22 13:31 |
| cryptominisat_5.8.0+dfsg1-2.dsc | 2.4 KiB | 2022-Feb-22 13:31 |
| cryptominisat_5.8.0+dfsg1.orig.tar.xz | 440.7 KiB | 2020-Jul-11 14:16 |
| libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_amd64..> | 494.2 KiB | 2024-Jan-05 21:41 |
| libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_arm64..> | 448.9 KiB | 2024-Jan-05 19:40 |
| libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_armel..> | 439.3 KiB | 2024-Jan-05 22:19 |
| libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_armhf..> | 456.8 KiB | 2024-Jan-05 21:18 |
| libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_i386.deb | 519.1 KiB | 2024-Jan-05 22:24 |
| libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_amd64.deb | 490.3 KiB | 2023-Jan-03 06:27 |
| libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_arm64.deb | 440.4 KiB | 2023-Jan-03 06:58 |
| libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armel.deb | 432.1 KiB | 2023-Jan-03 06:59 |
| libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armhf.deb | 450.2 KiB | 2023-Jan-03 06:58 |
| libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_i386.deb | 515.8 KiB | 2023-Jan-03 07:45 |
| libcryptominisat5-5.11_5.11.4+dfsg1-2_amd64.deb | 490.1 KiB | 2022-Nov-03 20:15 |
| libcryptominisat5-5.11_5.11.4+dfsg1-2_arm64.deb | 440.2 KiB | 2022-Nov-03 19:44 |
| libcryptominisat5-5.11_5.11.4+dfsg1-2_armel.deb | 433.0 KiB | 2022-Nov-03 20:15 |
| libcryptominisat5-5.11_5.11.4+dfsg1-2_armhf.deb | 449.9 KiB | 2022-Nov-03 19:59 |
| libcryptominisat5-5.11_5.11.4+dfsg1-2_i386.deb | 515.5 KiB | 2022-Nov-03 20:09 |
| libcryptominisat5-5.11_5.11.4+dfsg1-3_amd64.deb | 489.9 KiB | 2023-Jul-14 22:12 |
| libcryptominisat5-5.11_5.11.4+dfsg1-3_arm64.deb | 439.7 KiB | 2023-Jul-14 22:12 |
| libcryptominisat5-5.11_5.11.4+dfsg1-3_armel.deb | 430.6 KiB | 2023-Jul-14 22:12 |
| libcryptominisat5-5.11_5.11.4+dfsg1-3_armhf.deb | 448.7 KiB | 2023-Jul-14 22:12 |
| libcryptominisat5-5.11_5.11.4+dfsg1-3_i386.deb | 513.9 KiB | 2023-Jul-14 21:57 |
| libcryptominisat5-5.8_5.8.0+dfsg1-1+b1_amd64.deb | 419.6 KiB | 2020-Jul-14 20:44 |
| libcryptominisat5-5.8_5.8.0+dfsg1-1+b1_arm64.deb | 378.4 KiB | 2020-Jul-14 20:13 |
| libcryptominisat5-5.8_5.8.0+dfsg1-1+b1_armel.deb | 383.6 KiB | 2020-Jul-14 20:28 |
| libcryptominisat5-5.8_5.8.0+dfsg1-1+b1_armhf.deb | 396.3 KiB | 2020-Jul-14 20:28 |
| libcryptominisat5-5.8_5.8.0+dfsg1-1+b1_i386.deb | 443.9 KiB | 2020-Jul-14 20:44 |
| libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_amd64.deb | 406.3 KiB | 2020-Dec-12 14:13 |
| libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_arm64.deb | 370.1 KiB | 2020-Dec-12 12:00 |
| libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_armel.deb | 365.7 KiB | 2020-Dec-12 13:11 |
| libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_armhf.deb | 375.7 KiB | 2020-Dec-12 15:26 |
| libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_i386.deb | 431.6 KiB | 2020-Dec-12 14:39 |
| libcryptominisat5-5.8_5.8.0+dfsg1-2+b1_amd64.deb | 408.1 KiB | 2022-Mar-28 07:29 |
| libcryptominisat5-5.8_5.8.0+dfsg1-2+b1_arm64.deb | 370.3 KiB | 2022-Mar-28 07:14 |
| libcryptominisat5-5.8_5.8.0+dfsg1-2+b1_armel.deb | 364.5 KiB | 2022-Mar-28 07:45 |
| libcryptominisat5-5.8_5.8.0+dfsg1-2+b1_armhf.deb | 375.5 KiB | 2022-Mar-28 07:29 |
| libcryptominisat5-5.8_5.8.0+dfsg1-2+b1_i386.deb | 431.3 KiB | 2022-Mar-28 07:50 |
| libcryptominisat5-dev_5.11.15+dfsg1-1+b2_amd64.deb | 18.4 KiB | 2024-Jan-05 21:41 |
| libcryptominisat5-dev_5.11.15+dfsg1-1+b2_arm64.deb | 18.4 KiB | 2024-Jan-05 19:40 |
| libcryptominisat5-dev_5.11.15+dfsg1-1+b2_armel.deb | 18.4 KiB | 2024-Jan-05 22:19 |
| libcryptominisat5-dev_5.11.15+dfsg1-1+b2_armhf.deb | 18.4 KiB | 2024-Jan-05 21:18 |
| libcryptominisat5-dev_5.11.15+dfsg1-1+b2_i386.deb | 18.4 KiB | 2024-Jan-05 22:24 |
| libcryptominisat5-dev_5.11.4+dfsg1-2+b1_amd64.deb | 17.9 KiB | 2023-Jan-03 06:27 |
| libcryptominisat5-dev_5.11.4+dfsg1-2+b1_arm64.deb | 17.9 KiB | 2023-Jan-03 06:58 |
| libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armel.deb | 17.9 KiB | 2023-Jan-03 06:59 |
| libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armhf.deb | 17.9 KiB | 2023-Jan-03 06:58 |
| libcryptominisat5-dev_5.11.4+dfsg1-2+b1_i386.deb | 17.9 KiB | 2023-Jan-03 07:45 |
| libcryptominisat5-dev_5.11.4+dfsg1-2_amd64.deb | 17.6 KiB | 2022-Nov-03 20:15 |
| libcryptominisat5-dev_5.11.4+dfsg1-2_arm64.deb | 17.6 KiB | 2022-Nov-03 19:44 |
| libcryptominisat5-dev_5.11.4+dfsg1-2_armel.deb | 17.6 KiB | 2022-Nov-03 20:15 |
| libcryptominisat5-dev_5.11.4+dfsg1-2_armhf.deb | 17.6 KiB | 2022-Nov-03 19:59 |
| libcryptominisat5-dev_5.11.4+dfsg1-2_i386.deb | 17.6 KiB | 2022-Nov-03 20:09 |
| libcryptominisat5-dev_5.11.4+dfsg1-3_amd64.deb | 17.6 KiB | 2023-Jul-14 22:12 |
| libcryptominisat5-dev_5.11.4+dfsg1-3_arm64.deb | 17.6 KiB | 2023-Jul-14 22:12 |
| libcryptominisat5-dev_5.11.4+dfsg1-3_armel.deb | 17.6 KiB | 2023-Jul-14 22:12 |
| libcryptominisat5-dev_5.11.4+dfsg1-3_armhf.deb | 17.6 KiB | 2023-Jul-14 22:12 |
| libcryptominisat5-dev_5.11.4+dfsg1-3_i386.deb | 17.6 KiB | 2023-Jul-14 21:57 |
| libcryptominisat5-dev_5.8.0+dfsg1-1+b1_amd64.deb | 13.6 KiB | 2020-Jul-14 20:44 |
| libcryptominisat5-dev_5.8.0+dfsg1-1+b1_arm64.deb | 13.6 KiB | 2020-Jul-14 20:13 |
| libcryptominisat5-dev_5.8.0+dfsg1-1+b1_armel.deb | 13.6 KiB | 2020-Jul-14 20:28 |
| libcryptominisat5-dev_5.8.0+dfsg1-1+b1_armhf.deb | 13.6 KiB | 2020-Jul-14 20:28 |
| libcryptominisat5-dev_5.8.0+dfsg1-1+b1_i386.deb | 13.6 KiB | 2020-Jul-14 20:44 |
| libcryptominisat5-dev_5.8.0+dfsg1-1+b3_amd64.deb | 13.6 KiB | 2020-Dec-12 14:13 |
| libcryptominisat5-dev_5.8.0+dfsg1-1+b3_arm64.deb | 13.6 KiB | 2020-Dec-12 12:00 |
| libcryptominisat5-dev_5.8.0+dfsg1-1+b3_armel.deb | 13.6 KiB | 2020-Dec-12 13:11 |
| libcryptominisat5-dev_5.8.0+dfsg1-1+b3_armhf.deb | 13.6 KiB | 2020-Dec-12 15:26 |
| libcryptominisat5-dev_5.8.0+dfsg1-1+b3_i386.deb | 13.6 KiB | 2020-Dec-12 14:39 |
| libcryptominisat5-dev_5.8.0+dfsg1-2+b1_amd64.deb | 13.7 KiB | 2022-Mar-28 07:29 |
| libcryptominisat5-dev_5.8.0+dfsg1-2+b1_arm64.deb | 13.7 KiB | 2022-Mar-28 07:14 |
| libcryptominisat5-dev_5.8.0+dfsg1-2+b1_armel.deb | 13.7 KiB | 2022-Mar-28 07:45 |
| libcryptominisat5-dev_5.8.0+dfsg1-2+b1_armhf.deb | 13.7 KiB | 2022-Mar-28 07:29 |
| libcryptominisat5-dev_5.8.0+dfsg1-2+b1_i386.deb | 13.7 KiB | 2022-Mar-28 07:50 |
| python3-cryptominisat_5.11.15+dfsg1-1+b2_amd64.deb | 516.2 KiB | 2024-Jan-05 21:41 |
| python3-cryptominisat_5.11.15+dfsg1-1+b2_arm64.deb | 477.8 KiB | 2024-Jan-05 19:40 |
| python3-cryptominisat_5.11.15+dfsg1-1+b2_armel.deb | 460.5 KiB | 2024-Jan-05 22:19 |
| python3-cryptominisat_5.11.15+dfsg1-1+b2_armhf.deb | 470.4 KiB | 2024-Jan-05 21:18 |
| python3-cryptominisat_5.11.15+dfsg1-1+b2_i386.deb | 571.8 KiB | 2024-Jan-05 22:24 |
| python3-cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb | 520.0 KiB | 2023-Jan-03 06:27 |
| python3-cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb | 478.8 KiB | 2023-Jan-03 06:58 |
| python3-cryptominisat_5.11.4+dfsg1-2+b1_armel.deb | 462.1 KiB | 2023-Jan-03 06:59 |
| python3-cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb | 473.1 KiB | 2023-Jan-03 06:58 |
| python3-cryptominisat_5.11.4+dfsg1-2+b1_i386.deb | 575.8 KiB | 2023-Jan-03 07:45 |
| python3-cryptominisat_5.11.4+dfsg1-2_amd64.deb | 520.0 KiB | 2022-Nov-03 20:15 |
| python3-cryptominisat_5.11.4+dfsg1-2_arm64.deb | 478.2 KiB | 2022-Nov-03 19:44 |
| python3-cryptominisat_5.11.4+dfsg1-2_armel.deb | 461.8 KiB | 2022-Nov-03 20:15 |
| python3-cryptominisat_5.11.4+dfsg1-2_armhf.deb | 472.7 KiB | 2022-Nov-03 19:59 |
| python3-cryptominisat_5.11.4+dfsg1-2_i386.deb | 575.4 KiB | 2022-Nov-03 20:09 |
| python3-cryptominisat_5.11.4+dfsg1-3_amd64.deb | 520.5 KiB | 2023-Jul-14 22:12 |
| python3-cryptominisat_5.11.4+dfsg1-3_arm64.deb | 477.4 KiB | 2023-Jul-14 22:12 |
| python3-cryptominisat_5.11.4+dfsg1-3_armel.deb | 462.0 KiB | 2023-Jul-14 22:12 |
| python3-cryptominisat_5.11.4+dfsg1-3_armhf.deb | 471.9 KiB | 2023-Jul-14 22:12 |
| python3-cryptominisat_5.11.4+dfsg1-3_i386.deb | 575.3 KiB | 2023-Jul-14 21:57 |
| python3-cryptominisat_5.8.0+dfsg1-1+b1_amd64.deb | 18.7 KiB | 2020-Jul-14 20:44 |
| python3-cryptominisat_5.8.0+dfsg1-1+b1_arm64.deb | 18.3 KiB | 2020-Jul-14 20:13 |
| python3-cryptominisat_5.8.0+dfsg1-1+b1_armel.deb | 17.4 KiB | 2020-Jul-14 20:28 |
| python3-cryptominisat_5.8.0+dfsg1-1+b1_armhf.deb | 17.5 KiB | 2020-Jul-14 20:28 |
| python3-cryptominisat_5.8.0+dfsg1-1+b1_i386.deb | 19.4 KiB | 2020-Jul-14 20:44 |
| python3-cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb | 18.7 KiB | 2020-Dec-12 14:13 |
| python3-cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb | 18.3 KiB | 2020-Dec-12 12:00 |
| python3-cryptominisat_5.8.0+dfsg1-1+b3_armel.deb | 17.5 KiB | 2020-Dec-12 13:11 |
| python3-cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb | 17.6 KiB | 2020-Dec-12 15:26 |
| python3-cryptominisat_5.8.0+dfsg1-1+b3_i386.deb | 19.5 KiB | 2020-Dec-12 14:39 |
| python3-cryptominisat_5.8.0+dfsg1-2+b1_amd64.deb | 19.1 KiB | 2022-Mar-28 07:29 |
| python3-cryptominisat_5.8.0+dfsg1-2+b1_arm64.deb | 18.7 KiB | 2022-Mar-28 07:14 |
| python3-cryptominisat_5.8.0+dfsg1-2+b1_armel.deb | 17.8 KiB | 2022-Mar-28 07:45 |
| python3-cryptominisat_5.8.0+dfsg1-2+b1_armhf.deb | 17.9 KiB | 2022-Mar-28 07:29 |
| python3-cryptominisat_5.8.0+dfsg1-2+b1_i386.deb | 19.8 KiB | 2022-Mar-28 07:50 |