Index of /debian-ports/pool-loong64/main/m/minisat2/
Name
Size
Date
📁 ../
-
-
📄 minisat-dbgsym_2.2.1-8_loong64.deb
174508 bytes
2024-02-26 18:03:07
📄 minisat2_2.2.1-8_loong64.buildinfo
5688 bytes
2024-02-26 18:03:07
📄 minisat_2.2.1-8_loong64.deb
142552 bytes
2024-02-26 18:03:07