../ minisat+-dbgsym_1.0-5_x32.deb 10-Oct-2024 15:03 816K minisat+_1.0-5_x32.buildinfo 10-Oct-2024 15:03 5725 minisat+_1.0-5_x32.deb 10-Oct-2024 15:03 137K