Name Size Parent Directory - minisat2_2.2.1-5.debian.tar.xz 9.1K minisat2_2.2.1-5.dsc 1.8K minisat2_2.2.1-5_armhf.deb 4.9K minisat2_2.2.1.orig.tar.gz 43K minisat_2.2.1-5_armhf.deb 76K