Bug 892235

Summary:	sci-mathematics/coq-serapi-0.16.2-r1 fails to compile
Product:	Gentoo Linux	Reporter:	Agostino Sarubbo <ago>
Component:	Current packages	Assignee:	Gentoo Science Mathematics related packages <sci-mathematics>
Status:	CONFIRMED ---
Severity:	normal	CC:	xgqt
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---
Attachments:	build.log

Description Agostino Sarubbo gentoo-dev

2023-01-27 14:33:47 UTC

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

Issue: sci-mathematics/coq-serapi-0.16.2-r1 fails to compile.
Discovered on: amd64 (internal ref: ci)

Comment 1 Agostino Sarubbo gentoo-dev

2023-01-27 14:33:49 UTC

Created attachment 849287 [details]
build.log

build log and emerge --info

Comment 2 Agostino Sarubbo gentoo-dev

2023-01-27 14:33:50 UTC

Error(s) that match a know pattern:


Error: Files /usr/lib64/ocaml/ppx_deriving_yojson/ppx_deriving_yojson.cmxa
Error: Files /usr/lib64/ocaml/ppx_import/ppx_import.cmxa