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.9.7+dfsg1..>	2026-05-11 07:16	11K
	minizinc_2.9.7+dfsg1..>	2026-05-11 07:16	1.9K
	minizinc_2.9.7+dfsg1..>	2026-05-11 07:37	2.4M
	minizinc_2.9.7+dfsg1..>	2026-05-11 07:32	2.0M
	minizinc_2.9.7+dfsg1..>	2026-05-11 07:32	2.0M
	minizinc_2.9.7+dfsg1..>	2026-05-11 07:32	2.5M
	minizinc_2.9.7+dfsg1..>	2026-05-11 07:42	2.2M
	minizinc_2.9.7+dfsg1..>	2026-05-11 07:32	2.2M
	minizinc_2.9.7+dfsg1..>	2026-05-11 08:47	2.4M
	minizinc_2.9.7+dfsg1..>	2026-05-11 07:32	2.2M
	minizinc_2.9.7+dfsg1..>	2026-05-11 07:16	1.0M