Index of /Linux/Gentoo/gentoo-portage/sci-mathematics/minisat/files

Icon  Name                                                  Last modified      Size  Description
[DIR] Parent Directory                                                           -   
[TXT] minisat-2.2.1-cmake.patch                             24-Jan-2022 17:40  1.9K  
[TXT] minisat-2.2.1-cmake_minimum.patch                     24-Mar-2025 08:41  167   
[TXT] minisat-2.2.1-musl.patch                              07-Feb-2023 01:40  1.6K
Microsoft-IIS/10.0 Server at ftp.twaren.net Port 80