../ cryptominisat_5.11.15+dfsg1-1.1build1.debian.ta..> 31-Mar-2024 18:36 5720 cryptominisat_5.11.15+dfsg1-1.1build1.dsc 31-Mar-2024 18:36 2621 cryptominisat_5.11.15+dfsg1-1.1build1_amd64.deb 01-Apr-2024 03:47 83060 cryptominisat_5.11.15+dfsg1.orig.tar.xz 14-Dec-2023 17:37 474840 cryptominisat_5.11.21+dfsg1-1build1.debian.tar.xz 03-Jan-2025 14:35 6704 cryptominisat_5.11.21+dfsg1-1build1.dsc 03-Jan-2025 14:36 2497 cryptominisat_5.11.21+dfsg1-1build1_amd64.deb 03-Jan-2025 14:37 95766 cryptominisat_5.11.21+dfsg1-2.debian.tar.xz 25-May-2025 05:49 6696 cryptominisat_5.11.21+dfsg1-2.dsc 25-May-2025 05:49 2519 cryptominisat_5.11.21+dfsg1-2_amd64.deb 25-May-2025 05:49 96098 cryptominisat_5.11.21+dfsg1-3.debian.tar.xz 28-Oct-2025 00:02 7020 cryptominisat_5.11.21+dfsg1-3.dsc 28-Oct-2025 00:02 2505 cryptominisat_5.11.21+dfsg1-3_amd64.deb 28-Oct-2025 00:17 96368 cryptominisat_5.11.21+dfsg1-3_amd64v3.deb 28-Oct-2025 00:29 97258 cryptominisat_5.11.21+dfsg1.orig.tar.xz 03-May-2024 11:29 481480 cryptominisat_5.8.0+dfsg1-2.debian.tar.xz 22-Feb-2022 23:24 6264 cryptominisat_5.8.0+dfsg1-2.dsc 22-Feb-2022 23:24 2408 cryptominisat_5.8.0+dfsg1-2_amd64.deb 22-Feb-2022 23:45 92960 cryptominisat_5.8.0+dfsg1.orig.tar.xz 13-Jul-2020 17:24 451304 libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 01-Apr-2024 03:47 447326 libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1..> 03-Jan-2025 14:37 457856 libcryptominisat5-5.11t64_5.11.21+dfsg1-2_amd64..> 25-May-2025 05:49 457352 libcryptominisat5-5.11t64_5.11.21+dfsg1-3_amd64..> 28-Oct-2025 00:17 456876 libcryptominisat5-5.11t64_5.11.21+dfsg1-3_amd64..> 28-Oct-2025 00:29 465270 libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb 22-Feb-2022 23:45 386708 libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_a..> 01-Apr-2024 03:47 17744 libcryptominisat5-dev_5.11.21+dfsg1-1build1_amd..> 03-Jan-2025 14:37 17816 libcryptominisat5-dev_5.11.21+dfsg1-2_amd64.deb 25-May-2025 05:49 17818 libcryptominisat5-dev_5.11.21+dfsg1-3_amd64.deb 28-Oct-2025 00:17 17820 libcryptominisat5-dev_5.11.21+dfsg1-3_amd64v3.deb 28-Oct-2025 00:29 17832 libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb 22-Feb-2022 23:45 12978 python3-cryptominisat_5.11.15+dfsg1-1.1build1_a..> 01-Apr-2024 03:47 525966 python3-cryptominisat_5.11.21+dfsg1-1build1_amd..> 03-Jan-2025 14:37 623018 python3-cryptominisat_5.11.21+dfsg1-2_amd64.deb 25-May-2025 05:49 591556 python3-cryptominisat_5.11.21+dfsg1-3_amd64.deb 28-Oct-2025 00:17 593346 python3-cryptominisat_5.11.21+dfsg1-3_amd64v3.deb 28-Oct-2025 00:29 602488 python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb 22-Feb-2022 23:45 19592
This is a mirror server that provides copies of open source software distributions for public convenience. We are not the original creators or maintainers of the mirrored content. All files are provided "as is" without any warranties or guarantees. We are not responsible for the content, quality, or functionality of the mirrored files. Use at your own risk.