Name Last modified Size Parent Directory - Manifest 2024-07-13 17:11 2.1K metadata.xml 2022-12-21 22:40 522 odoc-2.2.0-r2.ebuild 2023-03-05 20:10 584 odoc-2.2.1.ebuild 2023-09-08 06:10 584 odoc-2.4.2.ebuild 2024-07-13 17:11 711