Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 735720 - dev-embedded/mcu8051ide-1.4.10 installs compressed files (manpages, documentation)
Summary: dev-embedded/mcu8051ide-1.4.10 installs compressed files (manpages, documenta...
Status: CONFIRMED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: No maintainer - Look at https://wiki.gentoo.org/wiki/Project:Proxy_Maintainers if you want to take care of it
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2020-08-03 09:36 UTC by Agostino Sarubbo
Modified: 2020-08-03 09:36 UTC (History)
0 users

See Also:
Package list:
Runtime testing required: ---


Attachments
build.log (build.log,102.46 KB, text/plain)
2020-08-03 09:36 UTC, Agostino Sarubbo
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Agostino Sarubbo gentoo-dev 2020-08-03 09:36:48 UTC
https://blogs.gentoo.org/ago/2020/07/04/gentoo-tinderbox/

Issue: dev-embedded/mcu8051ide-1.4.10 installs compressed files (manpages, documentation).
Discovered on: amd64 (internal ref: tinderbox)
Comment 1 Agostino Sarubbo gentoo-dev 2020-08-03 09:36:53 UTC
Created attachment 652656 [details]
build.log

build log and emerge --info