gentoo-mirror/gentoo
1
0
Fork 0
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
e1b05d95f42a73c2b5a4f6bd78fa2dc25d81b1bc
gentoo/dev-ml/ppx_tools
History
Miroslav Šulc b84e7cc0f0 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>
2020-02-09 23:16:48 +01:00
..
files
…
Manifest
dev-ml/ppx_tools: bumped to 5.3.4.08.0 + eapi7
2020-02-09 23:16:48 +01:00
metadata.xml
…
ppx_tools-5.0.4.03.0.ebuild
…
ppx_tools-5.0.4.05.0.ebuild
…
ppx_tools-5.3.4.08.0.ebuild
dev-ml/ppx_tools: bumped to 5.3.4.08.0 + eapi7
2020-02-09 23:16:48 +01:00