Index of /mirror/ubuntu-ports/pool/universe/m/minisat2

	Name	Last modified	Size	Description
	Parent Directory		-
	minisat2_2.2.1-5build2_arm64.deb	2020-03-22 20:56	2.0K
	minisat_2.2.1-5build2_arm64.deb	2020-03-22 20:56	77K
	minisat_2.2.1-8build1_arm64.deb	2024-04-02 11:01	90K