Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 496690 - ~dev-java/antlr-2.7.7: LICENSE should be "public-domain"
Summary: ~dev-java/antlr-2.7.7: LICENSE should be "public-domain"
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: [OLD] Development (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Java team
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2014-01-01 19:21 UTC by Ulrich Müller
Modified: 2014-01-03 15:43 UTC (History)
2 users (show)

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


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Ulrich Müller gentoo-dev 2014-01-01 19:21:31 UTC
licenses/ANTLR is not a real license, but simply says that the work is in the public domain.

If there are no objections, I'll update the ebuilds in a few days from now.
Comment 1 Johann Schmitz (ercpe) (RETIRED) gentoo-dev 2014-01-02 05:26:17 UTC
I agree with you. However, the last paragraph makes it a little bit different to other "this code is in public domain" statements.
Comment 2 Ulrich Müller gentoo-dev 2014-01-02 12:17:49 UTC
The last paragraph is only informational. It doesn't change any legal rights.

Also we currently don't distinguish between different types of public-domain (like e.g. works released into the public domain by their author, or U.S. government works). Therefore I think that LICENSE="public-domain" is appropriate for ANTLR.
Comment 3 Johann Schmitz (ercpe) (RETIRED) gentoo-dev 2014-01-02 13:05:23 UTC
Then feel free to change the license.
Comment 4 Ulrich Müller gentoo-dev 2014-01-03 15:43:09 UTC
Fixed.