Index of /debian-ports/pool-powerpc/main/m/minisat+

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]minisat+-dbgsym_1.0-5_powerpc.deb2024-10-10 08:03 842K 
[ ]minisat+_1.0-5_powerpc.buildinfo2024-10-10 08:03 5.5K 
[ ]minisat+_1.0-5_powerpc.deb2024-10-10 08:03 141K 
Apache/2.4.59 (Debian) Server at ftp.polytech-lille.fr Port 80