Index of /mirror/stable/1.7_x86-64/repository-extended/pool/main/m/minisat+
Name
Last modified
Size
Description
Parent Directory
-
minisat+-dbgsym_1.0-4_amd64.deb
2022-08-25 21:32
1.1M
minisat+_1.0-4_amd64.deb
2023-05-18 15:47
142K
Apache/2.4.46 (AstraLinuxCE) Server at astra.usaaa.ru Port 80