Index of /linux/debian/debian-ports/pool-alpha/main/m/minisat+

Icon  Name                                          Last modified      Size  
[PARENTDIR] 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