minisat+

	Name	Size	Modified
	..	—	—
	minisat+-dbgsym_1.0-4_loong64.deb	1 MB	Tue Oct 29 12:16:53 2024
	minisat+_1.0-4.debian.tar.xz	4 KB	Fri Nov 8 04:29:45 2024
	minisat+_1.0-4.dsc	1 KB	Fri Nov 8 04:29:45 2024
	minisat+_1.0-4_loong64.deb	128 KB	Tue Oct 29 12:16:54 2024
	minisat+_1.0.orig.tar.gz	78 KB	Fri Nov 8 04:29:45 2024