../ minisat2_2.2.1-5+b3_amd64.deb 02-Jul-2026 12:40 5258 minisat2_2.2.1-5+b3_arm64.deb 02-Jul-2026 12:29 5250 minisat2_2.2.1-5+b3_i386.deb 02-Jul-2026 11:27 5258 minisat2_2.2.1-5.debian.tar.xz 02-Jul-2026 11:46 9348 minisat2_2.2.1-5.dsc 02-Jul-2026 11:46 1893 minisat2_2.2.1.orig.tar.gz 02-Jul-2026 11:46 43K minisat_2.2.1-5+b3_amd64.deb 02-Jul-2026 12:26 83K minisat_2.2.1-5+b3_arm64.deb 02-Jul-2026 12:37 80K minisat_2.2.1-5+b3_i386.deb 02-Jul-2026 12:23 91K