This website requires JavaScript.
Explore
Help
Register
Sign In
gentoo-mirror
/
gentoo
Watch
1
Star
0
Fork
0
You've already forked gentoo
mirror of
https://github.com/gentoo-mirror/gentoo.git
synced
2026-08-06 00:48:18 -07:00
Code
Issues
Projects
Releases
Wiki
Activity
Files
master
Add File
New File
Upload File
Apply Patch
gentoo
/
dev-ml
/
ppx_globalize
History
Jakov Smolić
8ae815592e
dev-ml/ppx_globalize: Keyword 0.17.0-r2 riscv,
#959600
...
Signed-off-by: Jakov Smolić <
jsmolic@gentoo.org
>
2025-07-14 02:21:32 +02:00
..
Manifest
dev-ml/ppx_globalize: add 0.17.2
2025-07-09 08:29:40 +02:00
metadata.xml
…
ppx_globalize-0.16.0.ebuild
…
ppx_globalize-0.17.0-r2.ebuild
dev-ml/ppx_globalize: Keyword 0.17.0-r2 riscv,
#959600
2025-07-14 02:21:32 +02:00
ppx_globalize-0.17.2.ebuild
dev-ml/ppx_globalize: require ppxlib > 0.36.0
2025-07-11 11:12:21 +02:00
