../ minisat+_1.0-4build1.debian.tar.xz 22-Mar-2020 22:10 4252 minisat+_1.0-4build1.dsc 22-Mar-2020 22:10 2033 minisat+_1.0-4build1_amd64.deb 22-Mar-2020 22:50 139K minisat+_1.0-5.debian.tar.xz 01-Nov-2024 00:11 4448 minisat+_1.0-5.dsc 01-Nov-2024 00:11 1979 minisat+_1.0-5_amd64.deb 01-Nov-2024 01:59 157K minisat+_1.0.orig.tar.gz 12-Nov-2011 14:20 78K