Index of /debian/pool/main/m/minizinc

	Name	Last modified	Size	Description
	Parent Directory		-
	minizinc_2.5.3+dfsg1..>	2020-12-09 21:47	8.8K
	minizinc_2.5.3+dfsg1..>	2020-12-09 21:47	1.8K
	minizinc_2.5.3+dfsg1..>	2020-12-10 03:44	1.5M
	minizinc_2.5.3+dfsg1..>	2020-12-10 03:44	1.3M
	minizinc_2.5.3+dfsg1..>	2020-12-10 03:59	1.3M
	minizinc_2.5.3+dfsg1..>	2020-12-10 03:44	1.6M
	minizinc_2.5.3+dfsg1..>	2020-12-09 21:47	1.5M
	minizinc_2.6.4+dfsg1..>	2022-07-23 04:23	8.9K
	minizinc_2.6.4+dfsg1..>	2022-07-23 04:23	1.8K
	minizinc_2.6.4+dfsg1..>	2022-07-23 04:58	1.9M
	minizinc_2.6.4+dfsg1..>	2022-07-23 04:58	1.7M
	minizinc_2.6.4+dfsg1..>	2022-07-23 08:26	1.6M
	minizinc_2.6.4+dfsg1..>	2022-07-23 05:59	1.6M
	minizinc_2.6.4+dfsg1..>	2022-07-23 04:48	2.0M
	minizinc_2.6.4+dfsg1..>	2022-07-23 08:26	1.6M
	minizinc_2.6.4+dfsg1..>	2022-07-23 06:59	1.6M
	minizinc_2.6.4+dfsg1..>	2022-07-23 04:58	1.8M
	minizinc_2.6.4+dfsg1..>	2022-07-23 05:14	1.7M
	minizinc_2.6.4+dfsg1..>	2022-07-23 04:23	859K
	minizinc_2.9.2+dfsg1..>	2025-03-07 00:47	12K
	minizinc_2.9.2+dfsg1..>	2025-03-07 00:47	1.9K
	minizinc_2.9.2+dfsg1..>	2025-03-07 02:04	2.4M
	minizinc_2.9.2+dfsg1..>	2025-03-07 02:04	2.0M
	minizinc_2.9.2+dfsg1..>	2025-03-07 02:14	1.9M
	minizinc_2.9.2+dfsg1..>	2025-03-07 02:09	2.0M
	minizinc_2.9.2+dfsg1..>	2025-03-07 02:04	2.5M
	minizinc_2.9.2+dfsg1..>	2025-03-07 01:58	2.2M
	minizinc_2.9.2+dfsg1..>	2025-03-07 08:18	2.5M
	minizinc_2.9.2+dfsg1..>	2025-03-07 02:19	2.2M
	minizinc_2.9.2+dfsg1..>	2025-03-07 00:47	1.0M
	minizinc_2.10.0+dfsg..>	2026-08-23 12:29	12K
	minizinc_2.10.0+dfsg..>	2026-08-23 12:29	1.9K
	minizinc_2.10.0+dfsg..>	2026-08-23 12:55	2.5M
	minizinc_2.10.0+dfsg..>	2026-08-23 12:49	2.0M
	minizinc_2.10.0+dfsg..>	2026-08-23 12:50	2.1M
	minizinc_2.10.0+dfsg..>	2026-08-23 12:55	2.6M
	minizinc_2.10.0+dfsg..>	2026-08-23 12:55	2.3M
	minizinc_2.10.0+dfsg..>	2026-08-23 12:49	2.2M
	minizinc_2.10.0+dfsg..>	2026-08-24 15:19	2.5M
	minizinc_2.10.0+dfsg..>	2026-08-23 12:50	2.3M
	minizinc_2.10.0+dfsg..>	2026-08-23 12:29	1.0M