748612 – dev-ml/ppx_driver-0.11.0 fails to compile

Bug 748612 - dev-ml/ppx_driver-0.11.0 fails to compile

Summary: dev-ml/ppx_driver-0.11.0 fails to compile

Status:	RESOLVED OBSOLETE

Alias:	None

Product:	Gentoo Linux
Classification:	Unclassified
Component:	Current packages (show other bugs)
Hardware:	All Linux

Importance:	Normal normal
Assignee:	Gentoo Team for the ML programming language family

URL:
Whiteboard:
Keywords:

Depends on:
Blocks:

Attachments
build.log (build.log,5.85 KB, text/plain) 2020-10-14 05:52 UTC, Agostino Sarubbo	Details
View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.

Description Agostino Sarubbo gentoo-dev

2020-10-14 05:52:56 UTC

https://blogs.gentoo.org/ago/2020/07/04/gentoo-tinderbox/

Issue: dev-ml/ppx_driver-0.11.0 fails to compile.
Discovered on: amd64 (internal ref: ci)

Comment 1 Agostino Sarubbo gentoo-dev

2020-10-14 05:52:58 UTC

Created attachment 665215 [details]
build.log

build log and emerge --info

Comment 2 Tupone Alfredo gentoo-dev

2021-05-10 17:28:09 UTC

No more in tree