../ minisat2_2.2.1-4.debian.tar.gz 14-Jul-2013 22:43 9388 minisat2_2.2.1-4.dsc 14-Jul-2013 22:43 1879 minisat2_2.2.1-4_amd64.deb 14-Jul-2013 22:58 1896 minisat2_2.2.1-4_i386.deb 14-Jul-2013 22:58 1896 minisat2_2.2.1-5.debian.tar.xz 30-Jul-2014 17:44 9348 minisat2_2.2.1-5.dsc 30-Jul-2014 17:44 1893 minisat2_2.2.1-5_amd64.deb 30-Jul-2014 18:38 1994 minisat2_2.2.1-5_i386.deb 30-Jul-2014 18:40 1996 minisat2_2.2.1-5build1.debian.tar.xz 05-Apr-2018 08:01 9480 minisat2_2.2.1-5build1.dsc 05-Apr-2018 08:01 1982 minisat2_2.2.1-5build1_amd64.deb 05-Apr-2018 08:03 2032 minisat2_2.2.1-5build1_i386.deb 05-Apr-2018 08:04 2028 minisat2_2.2.1-5build2.debian.tar.xz 22-Mar-2020 17:10 9528 minisat2_2.2.1-5build2.dsc 22-Mar-2020 17:10 1978 minisat2_2.2.1-5build2_amd64.deb 22-Mar-2020 18:00 2032 minisat2_2.2.1-8build1.debian.tar.xz 01-Apr-2024 08:00 9976 minisat2_2.2.1-8build1.dsc 01-Apr-2024 08:00 1811 minisat2_2.2.1-8build2.debian.tar.xz 16-Dec-2025 22:16 10028 minisat2_2.2.1-8build2.dsc 16-Dec-2025 22:16 1814 minisat2_2.2.1.orig.tar.gz 30-Apr-2011 17:05 44229 minisat_2.2.1-4_amd64.deb 14-Jul-2013 22:58 130944 minisat_2.2.1-4_i386.deb 14-Jul-2013 22:58 127298 minisat_2.2.1-5_amd64.deb 30-Jul-2014 18:38 82980 minisat_2.2.1-5_i386.deb 30-Jul-2014 18:40 97038 minisat_2.2.1-5build1_amd64.deb 05-Apr-2018 08:03 81816 minisat_2.2.1-5build1_i386.deb 05-Apr-2018 08:04 90692 minisat_2.2.1-5build2_amd64.deb 22-Mar-2020 18:00 81944 minisat_2.2.1-8build1_amd64.deb 01-Apr-2024 10:33 88062 minisat_2.2.1-8build2_amd64.deb 16-Dec-2025 22:25 89932 minisat_2.2.1-8build2_amd64v3.deb 16-Dec-2025 22:25 91328
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.