Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 912272 - dev-libs/mpfr wrong license
Summary: dev-libs/mpfr wrong license
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal
Assignee: Gentoo Toolchain Maintainers
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2023-08-14 10:44 UTC by steffen_brauer
Modified: 2023-08-20 20:39 UTC (History)
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.
Comment 1 Larry the Git Cow gentoo-dev 2023-08-20 20:39:52 UTC 
The bug has been closed via the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=29f7fda410ad295b96ec2c063a1df0c500793078

commit 29f7fda410ad295b96ec2c063a1df0c500793078
Author:     Andreas K. Hüttel <dilfridge@gentoo.org>
AuthorDate: 2023-08-20 20:38:38 +0000
Commit:     Andreas K. Hüttel <dilfridge@gentoo.org>
CommitDate: 2023-08-20 20:39:38 +0000

    dev-libs/mpfr: update LICENSE
    
    Signed-off-by: Andreas K. Hüttel <dilfridge@gentoo.org>
    Closes: https://bugs.gentoo.org/912272

 dev-libs/mpfr/mpfr-4.2.0_p12.ebuild | 2 +-
 dev-libs/mpfr/mpfr-4.2.0_p9.ebuild  | 2 +-
 dev-libs/mpfr/mpfr-4.2.1_rc1.ebuild | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)