Index of /minizinc

	Name	Last modified	Size
	Parent Directory		-
	libminizinc-2.5.0.tar.gz	2020-10-15 16:55	1.5M
	libminizinc-2.5.1.tar.gz	2020-10-23 14:50	1.5M
	libminizinc-2.5.2.tar.gz	2020-11-15 13:40	12M
	libminizinc-2.5.3.tar.gz	2020-11-27 23:45	12M