gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-11-09 06:37:10 -08:00
Code Issues Projects Releases Wiki Activity
Files
ed083487e59009c8f01e9b2bee7a5d0ce8d30735
gentoo/dev-ml/odoc
T
History
Alfredo Tupone 371d48243c dev-ml/odoc: only support >=dune-3 
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2023-03-05 11:36:24 +01:00
..
Manifest
…
metadata.xml
…
odoc-2.2.0-r2.ebuild
dev-ml/odoc: only support >=dune-3
2023-03-05 11:36:24 +01:00