Index of /changelogs/binary/m/minisat2

	Name	Last modified	Size	Description

	Parent Directory		-
	1:2.2.1-5/	2016-04-16 02:53	-
	1:2.2.1-5build1/	2018-04-05 08:32	-
	1:2.2.1-5build2/	2020-03-22 17:40	-

Apache/2.4.29 (Ubuntu) Server at changelogs.ubuntu.com Port 80