Bug 852704

Summary:	dev-lang/mlton-20180207 installs compressed files (manpages, documentation)
Product:	Gentoo Linux	Reporter:	Agostino Sarubbo <ago>
Component:	Current packages	Assignee:	No maintainer - Look at https://wiki.gentoo.org/wiki/Project:Proxy_Maintainers if you want to take care of it <maintainer-needed>
Status:	CONFIRMED ---
Severity:	normal	CC:	sam, t
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---
Attachments:	build.log

Description Agostino Sarubbo gentoo-dev

2022-06-17 06:49:07 UTC

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

Issue: dev-lang/mlton-20180207 installs compressed files (manpages, documentation).
Discovered on: amd64 (internal ref: ci)

Comment 1 Agostino Sarubbo gentoo-dev

2022-06-17 06:49:09 UTC

CC'ing also the author of the commit (e4676e44adc3989dc9f9856e662ce9dfeb470a59)

Comment 2 Agostino Sarubbo gentoo-dev

2022-06-17 06:49:11 UTC

Created attachment 785873 [details]
build.log

build log and emerge --info