Index of /sci-mathematics/minisat/files

	Name	Last modified	Size	Description
	Parent Directory		-
	minisat-2.2.1-musl.patch	2023-02-06 18:40	1.6K
	minisat-2.2.1-cmake_minimum.patch	2025-03-24 01:41	167
	minisat-2.2.1-cmake.patch	2022-01-24 10:40	1.9K