1. minisat+_1.0-4.debian.tar.xz
2. minisat+_1.0-4.dsc
3. minisat+_1.0-4_amd64.deb
4. minisat+_1.0-4_i386.deb
5. minisat+_1.0-5.debian.tar.xz
6. minisat+_1.0-5.dsc
7. minisat+_1.0-5_amd64.deb
8. minisat+_1.0-5_i386.deb
9. minisat+_1.0.orig.tar.gz