../ minisat+_1.0-4build1.debian.tar.xz 23-Mar-2020 01:10 4252 minisat+_1.0-4build1.dsc 23-Mar-2020 01:10 2033 minisat+_1.0-4build1_amd64.deb 23-Mar-2020 01:50 139K minisat+_1.0.orig.tar.gz 12-Nov-2011 17:20 78K