Index of /debian/pool/main/m/mistral-extra

	Name	Last modified	Size
	Parent Directory		-
	mistral-extra_16.0.1-2_all.deb	2026-03-27 12:50	32K
	mistral-extra_16.0.1-1_all.deb	2026-02-25 14:41	32K
	mistral-extra_15.1.0-1_all.deb	2025-11-28 19:21	32K