../ minisat+_1.0-4.debian.tar.xz 27-Mar-2020 22:14 4176 minisat+_1.0-4.dsc 27-Mar-2020 22:14 1984 minisat+_1.0-4_amd64.deb 27-Mar-2020 22:14 155K minisat+_1.0-4_arm64.deb 27-Mar-2020 22:14 131K minisat+_1.0-4_i386.deb 27-Mar-2020 22:14 156K minisat+_1.0-4_mips64el.deb 27-Mar-2020 22:14 144K minisat+_1.0.orig.tar.gz 27-Mar-2020 22:14 78K