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)
CC'ing also the author of the commit (e4676e44adc3989dc9f9856e662ce9dfeb470a59)
Created attachment 785873 [details] build.log build log and emerge --info