../ minisat2_2.2.1-5+b3_amd64.deb 01-Apr-2017 19:07 5258 minisat2_2.2.1-5+b3_arm64.deb 07-Mar-2018 02:16 5250 minisat2_2.2.1-5.debian.tar.xz 12-Sep-2016 19:19 9348 minisat2_2.2.1-5.dsc 12-Sep-2016 19:19 1893 minisat2_2.2.1.orig.tar.gz 12-Sep-2016 19:19 43K minisat_2.2.1-5+b3_amd64.deb 01-Apr-2017 19:07 83K minisat_2.2.1-5+b3_arm64.deb 07-Mar-2018 02:16 80K