Index of /dev-ml/odoc

	Name	Last modified	Size	Description
	Parent Directory		-
	odoc-3.1.0.ebuild	2025-08-25 14:07	739
	odoc-2.4.4.ebuild	2025-03-20 13:38	739
	odoc-2.4.3-r1.ebuild	2025-03-20 13:38	760
	metadata.xml	2025-03-20 13:38	522
	Manifest	2025-08-25 14:07	2.1K