Index of /debian/dists/mantic

	Name	Last modified	Size	Description
	Parent Directory		-
	non-free/	2023-11-08 14:15	-
	main/	2023-11-08 14:15	-
	Release.gpg	2024-02-18 12:35	488
	Release	2024-02-18 12:35	5.8K
	InRelease	2024-02-18 12:35	6.3K