Index of /dev/devuan/merged/pool/DEBIAN/main/m/minisat+/

../
minisat+_1.0-4_amd64.deb                           07-Sep-2026 15:21    155K
minisat+_1.0-5_amd64.deb                           07-Sep-2026 15:21    146K