Index of /pool/main/m/minizinc

	Name	Last modified	Size	Description
	Parent Directory		-
	minizinc_2.4.2-1build1_amd64.deb	2020-03-30 20:32	1.4M
	minizinc_2.0.11+dfsg1-1_amd64.deb	2017-09-19 18:46	1.0M