Name Last modified Size Parent Directory - minisat+-dbgsym_1.0-5_alpha.deb 2024-10-14 20:03 851K minisat+_1.0-5_alpha.buildinfo 2024-10-14 20:03 5.5K minisat+_1.0-5_alpha.deb 2024-10-14 20:03 146K