Name Size
Parent Directory - minisat+_1.0-2.debian.tar.gz 3.9K minisat+_1.0-2.dsc 1.2K minisat+_1.0-2_armhf.deb 150K minisat+_1.0-3.debian.tar.xz 4.0K minisat+_1.0-3.dsc 1.9K minisat+_1.0-3_armhf.deb 117K minisat+_1.0-4.debian.tar.xz 4.1K minisat+_1.0-4.dsc 1.9K minisat+_1.0-4_armhf.deb 117K minisat+_1.0.orig.tar.gz 78K