| Bug#: 31321 | Product: Gentoo Linux | Version: unspecified | Platform: All |
| OS/Version: Linux | Status: RESOLVED | Severity: normal | Priority: P2 |
| Resolution: FIXED | Assigned To: kosmikus@gentoo.org | Reported By: simons@cryp.to | |
| Component: Ebuilds | |||
| URL: | |||
| Summary: dev-lang/ghc run-time dependencies lack libgmp | |||
| Keywords: | |||
| Status Whiteboard: | |||
| Opened: 2003-10-16 17:55 0000 | |||
| Description: | Opened: 2003-10-16 17:55 0000 |
I noticed that "dev-libs/gmp-4.1" is in DEPEND but not in RDEPEND, but -- as far as I know -- libgmp is required at run-time as well. Reproducible: Always Steps to Reproduce:
done. Thanks for reporting.