606910 – dev-lang/mercury installs pre-stripped file

Bug 606910 - dev-lang/mercury installs pre-stripped file

Summary: dev-lang/mercury installs pre-stripped file

Status:	RESOLVED FIXED

Alias:	None

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

Importance:	Normal normal (vote)
Assignee:	Keri Harris

URL:
Whiteboard:
Keywords:

Depends on:
Blocks:

Reported:	2017-01-23 12:50 UTC by Agostino Sarubbo
Modified:	2017-09-30 14:31 UTC (History)
CC List:	0 users

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

Attachments
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

2017-01-23 12:50:24 UTC

This is an auto-filled bug because this package installs pre-stripped file.

 * Messages for package dev-lang/mercury-13.05.2:

 * QA Notice: Pre-stripped files found:
 * /usr/bin/mercury_compile

Comment 1 Keri Harris gentoo-dev

2017-09-30 14:31:54 UTC

This is now fixed in git. Thanks for reporting this bug.