Index of /mirror/deb.debian.org/debian/pool/main/m/minisat+/

../
minisat+_1.0-4_amd64.deb                           24-Mar-2023 10:32              158368
minisat+_1.0-4_armhf.deb                           24-Mar-2023 10:32              133736