../ current.bessel 22-Nov-2016 20:25 3887 current.bok 22-Nov-2016 20:25 3887 current.dufay 22-Nov-2016 20:25 3887 minisat2_2.2.1-5+dyson1.changelog 22-Nov-2016 20:25 3887 minisat2_2.2.1-5+dyson1.debian.tar.xz 22-Nov-2016 20:25 9676 minisat2_2.2.1-5+dyson1.dsc 22-Nov-2016 20:25 1518 minisat2_2.2.1-5+dyson1_illumos-amd64.deb 22-Nov-2016 20:25 5078 minisat2_2.2.1.orig.tar.gz 22-Nov-2016 20:25 44229 minisat_2.2.1-5+dyson1_illumos-amd64.deb 22-Nov-2016 20:25 81844