gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-09-24 17:09:10 -07:00
Code Issues Projects Releases Wiki Activity
Files
505e779d343a4fe816b4e41cbf175eb44e3a254d
gentoo/dev-ml/ppx_optional
History
Alfredo Tupone df4a2b6b11 dev-ml/ppx_optional: stabilize 0.15.0 for amd64 
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2023-03-16 14:21:55 +01:00
..
Manifest
…
metadata.xml
…
ppx_optional-0.14.0.ebuild
…
ppx_optional-0.15.0.ebuild
…