diff options
| author |   Sam James <sam@gentoo.org> | 2021-06-09 21:45:11 +0000 |
|---|---|---|
| committer | Sam James <sam@gentoo.org> | 2021-06-09 21:45:11 +0000 |
| commit | 44fcb8adf6e4de019ed6bb7f3735e0b60ce5df3a (patch) | |
| tree | 62141efb8253e1ae0fd544d61f99441bda70bdcd /dev-ml/ppx_tools/ppx_tools-6.3.ebuild | |
| parent | dev-ml/camlp4: drop 4.08_p1-r1 (diff) | |
| download | gentoo-44fcb8adf6e4de019ed6bb7f3735e0b60ce5df3a.tar.gz gentoo-44fcb8adf6e4de019ed6bb7f3735e0b60ce5df3a.tar.bz2 gentoo-44fcb8adf6e4de019ed6bb7f3735e0b60ce5df3a.zip | |
dev-ml/camlp4: add 4.12
Bug: https://bugs.gentoo.org/794898
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_tools/ppx_tools-6.3.ebuild')
0 files changed, 0 insertions, 0 deletions