sci-mathematics/cvc3 currently assigns LICENSE="CVC3". This is somewhat problematic, because CVC3 is a conglomerate of both free and non-free licenses, which means that it cannot be added to any of the free license groups in profiles/license_groups. As far as I can see, the main license is simply BSD, and some files are licensed under MIT or as-is. In addition, there are some non-free parts, but they are only activated with USE="zchaff". So, I'd suggest to change LICENSE to the following: LICENSE="BSD MIT as-is zchaff? ( zchaff )" where zchaff would be the license notice from src/sat/xchaff_solver.cpp. Probably also something like RESTRICT="mirror zchaff? ( bindist )" is needed, because the following clause (in the zchaff license) forbids any distribution: | Any distribution, including commercial sale or license, of this software, | copies of the software, its associated documentation and/or modifications | of either is strictly prohibited without the prior consent of Princeton | University.
Thanks, I applied all of your fixes. Thanks for the bug report letting me know it wasn't right and for the fixes.
Sorry that I have to reopen this, but we want to get rid of the "as-is" license label. See the tracker bug. So, the above is still valid, only "as-is" should be changed to "HPND": LICENSE="BSD MIT HPND zchaff? ( zchaff )" I can update the ebuild myself if you permit.
(In reply to comment #2) > Sorry that I have to reopen this, but we want to get rid of the "as-is" > license label. See the tracker bug. > > So, the above is still valid, only "as-is" should be changed to "HPND": > > LICENSE="BSD MIT HPND zchaff? ( zchaff )" > > I can update the ebuild myself if you permit. Sure you can. And that's general for all sci* maintained packages I would say.
Fixed.