minisat+

	Name	Size	Modified
	..	—	—
	minisat+-dbgsym_1.0-5_loong64.deb	880 KB	Mon Sep 22 14:30:02 2025
	minisat+_1.0-5.debian.tar.xz	4 KB	Mon Sep 22 14:30:02 2025
	minisat+_1.0-5.dsc	1 KB	Mon Sep 22 14:30:02 2025
	minisat+_1.0-5_loong64.deb	143 KB	Mon Sep 22 14:30:02 2025
	minisat+_1.0.orig.tar.gz	78 KB	Mon Sep 22 14:30:02 2025