https://blogs.gentoo.org/ago/2020/07/04/gentoo-tinderbox/ Issue: dev-ml/ppx_tools_versioned-5.2.2 fails to compile. Discovered on: amd64 (internal ref: ci)
Created attachment 687771 [details] build.log build log and emerge --info
*** Bug 781053 has been marked as a duplicate of this bug. ***
The bug has been referenced in the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f9e1ff4d2d9fea92d73cfe61e564cec63861125e commit f9e1ff4d2d9fea92d73cfe61e564cec63861125e Author: Sam James <sam@gentoo.org> AuthorDate: 2021-10-15 03:57:43 +0000 Commit: Sam James <sam@gentoo.org> CommitDate: 2021-10-15 03:58:46 +0000 profiles: last-rite dev-ml/ppx_tools_versioned Bug: https://bugs.gentoo.org/767196 Bug: https://bugs.gentoo.org/771756 Signed-off-by: Sam James <sam@gentoo.org> profiles/package.mask | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-)
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9ee9e73f5c6c904015d81e12ccf6d18d9208c570 commit 9ee9e73f5c6c904015d81e12ccf6d18d9208c570 Author: Jakov Smolić <jsmolic@gentoo.org> AuthorDate: 2021-11-14 13:54:04 +0000 Commit: Jakov Smolić <jsmolic@gentoo.org> CommitDate: 2021-11-14 13:58:48 +0000 dev-ml/ppx_tools_versioned: treeclean Closes: https://bugs.gentoo.org/767196 Closes: https://bugs.gentoo.org/771756 Signed-off-by: Jakov Smolić <jsmolic@gentoo.org> dev-ml/ppx_tools_versioned/Manifest | 1 - dev-ml/ppx_tools_versioned/metadata.xml | 8 ------- .../ppx_tools_versioned-5.4.0.ebuild | 25 ---------------------- profiles/package.mask | 1 - 4 files changed, 35 deletions(-)
