dev-ml/ppx_tools: bumped to 5.3.4.08.0 + eapi7
authorMiroslav Šulc <fordfrog@gentoo.org>
Sun, 9 Feb 2020 22:14:52 +0000 (23:14 +0100)
committerMiroslav Šulc <fordfrog@gentoo.org>
Sun, 9 Feb 2020 22:16:48 +0000 (23:16 +0100)
commitb84e7cc0f017d4c72cef9ad9b5157dca7ee679da
tree804174b2af2611c4035f198fe84c857e60ea6af9
parent76fddc52844f1553ce86c9e1dbabcc0b6c183525
dev-ml/ppx_tools: bumped to 5.3.4.08.0 + eapi7

Bug: https://bugs.gentoo.org/708696
Package-Manager: Portage-2.3.88, Repoman-2.3.20
Signed-off-by: Miroslav Šulc <fordfrog@gentoo.org>
dev-ml/ppx_tools/Manifest
dev-ml/ppx_tools/ppx_tools-5.3.4.08.0.ebuild [new file with mode: 0644]