Index of /mirror/ports.ubuntu.com/ubuntu-ports/pool/universe/m/minisat2/

../
minisat_2.2.1-8build1_arm64.deb                    02-Apr-2024 11:01               92006