diff options
author | 2020-02-09 23:14:52 +0100 | |
---|---|---|
committer | 2020-02-09 23:16:48 +0100 | |
commit | b84e7cc0f017d4c72cef9ad9b5157dca7ee679da (patch) | |
tree | 804174b2af2611c4035f198fe84c857e60ea6af9 /dev-ml/camlp4 | |
parent | dev-ada/libadalang: fix dependency (diff) | |
download | gentoo-b84e7cc0f017d4c72cef9ad9b5157dca7ee679da.tar.gz gentoo-b84e7cc0f017d4c72cef9ad9b5157dca7ee679da.tar.bz2 gentoo-b84e7cc0f017d4c72cef9ad9b5157dca7ee679da.zip |
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>
Diffstat (limited to 'dev-ml/camlp4')
0 files changed, 0 insertions, 0 deletions