Summary: | dev-lang/mosml: pre-stripped files found | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Diego Elio Pettenò (RETIRED) <flameeyes> |
Component: | New 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: | RESOLVED FIXED | ||
Severity: | QA | CC: | darkside, vostorga |
Priority: | High | ||
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- | |
Bug Depends on: | |||
Bug Blocks: | 239866 | ||
Attachments: | Patch fixing pre-stripped files in mosml-2.01-r1 |
Description
Diego Elio Pettenò (RETIRED)
2008-10-06 08:57:50 UTC
*** Bug 251919 has been marked as a duplicate of this bug. *** Created attachment 189505 [details, diff]
Patch fixing pre-stripped files in mosml-2.01-r1
Fixes:
* QA Notice: Pre-stripped files found:
* /opt/mosml/bin/camlrunm
* /opt/mosml/bin/mosmlyac
This bug hits dev-lang/mosml-2.01 as well, and fix is the same.
thx, patch applied to -r1. Not serious enough to mess with the stable -r0. |