gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-08-31 21:18:09 -07:00
Code Issues Projects Releases Wiki Activity
Files
a90e64426b8faa0ffa67fc8809c41be9ce61aa1d
gentoo/dev-ml/odoc
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