../ minisat+_1.0-4.debian.tar.xz 22-Feb-2017 20:22 4176 minisat+_1.0-4.dsc 22-Feb-2017 20:22 1984 minisat+_1.0-4_amd64.deb 22-Feb-2017 21:12 158368 minisat+_1.0-4_arm64.deb 22-Feb-2017 21:12 133914 minisat+_1.0-4_armel.deb 22-Feb-2017 21:12 129920 minisat+_1.0-4_armhf.deb 22-Feb-2017 21:12 133736 minisat+_1.0-4_i386.deb 22-Feb-2017 21:12 160076 minisat+_1.0-4_mips64el.deb 22-Feb-2017 21:28 147888 minisat+_1.0-4_mipsel.deb 22-Feb-2017 21:43 144724 minisat+_1.0-4_ppc64el.deb 22-Feb-2017 21:12 148488 minisat+_1.0-4_s390x.deb 22-Feb-2017 21:12 146702 minisat+_1.0-5.debian.tar.xz 09-Oct-2024 21:34 4448 minisat+_1.0-5.dsc 09-Oct-2024 21:34 1979 minisat+_1.0-5_amd64.deb 10-Oct-2024 00:45 149280 minisat+_1.0-5_arm64.deb 10-Oct-2024 00:29 133140 minisat+_1.0-5_armel.deb 10-Oct-2024 00:45 125260 minisat+_1.0-5_armhf.deb 10-Oct-2024 00:29 129244 minisat+_1.0-5_i386.deb 10-Oct-2024 00:40 147972 minisat+_1.0-5_loong64.deb 20-Dec-2025 16:34 153476 minisat+_1.0-5_ppc64el.deb 10-Oct-2024 00:29 153040 minisat+_1.0-5_riscv64.deb 10-Oct-2024 01:20 151296 minisat+_1.0-5_s390x.deb 10-Oct-2024 00:45 167596 minisat+_1.0.orig.tar.gz 14-May-2011 12:02 79990
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.