../ minisat2_2.2.1-5.debian.tar.xz 10-Mar-2016 13:37 9348 minisat2_2.2.1-5.dsc 10-Mar-2016 13:37 1893 minisat2_2.2.1-5_amd64.deb 10-Mar-2016 13:35 5038 minisat2_2.2.1-5_i386.deb 10-Mar-2016 13:36 5022 minisat2_2.2.1.orig.tar.gz 10-Mar-2016 13:37 43K minisat_2.2.1-5_amd64.deb 10-Mar-2016 12:53 84K minisat_2.2.1-5_i386.deb 10-Mar-2016 13:33 96K