../ minisat+_1.0-4build1.debian.tar.xz 04-Mar-2026 10:04 4252 minisat+_1.0-4build1.dsc 04-Mar-2026 10:04 2033 minisat+_1.0-4build1_amd64.deb 04-Mar-2026 10:04 139K minisat+_1.0-5build1.debian.tar.xz 22-Jul-2026 19:38 4532 minisat+_1.0-5build1.dsc 22-Jul-2026 19:38 1978 minisat+_1.0-5build1_amd64.deb 22-Jul-2026 19:38 159K minisat+_1.0.orig.tar.gz 04-Mar-2026 10:04 78K