Created attachment 351364 [details] License for mysql man pages The man pages for version >=5.5.31 are licensed under attached proprietary license. The license says about redistribution: You shall not publish or distribute this documentation in any form or on any media, except if you distribute the documentation in a manner similar to how Oracle disseminates it (that is, electronically for download on a Web site with the software) or on a CD-ROM or similar medium, provided however that the documentation is disseminated together with the software on the same medium. IIUC this implies mirror restriction, because distribution is only allowed "on a Web site", but not via FTP.
SRC_URI contains references to dev.gentoo.org, so restricting mirroring may need to be discussed with infra first.
(In reply to Chí-Thanh Christopher Nguyễn from comment #1) > SRC_URI contains references to dev.gentoo.org, so restricting mirroring may > need to be discussed with infra first. Shouldn't be a problem, because there's also mirror://gentoo/ for the same file, which means that the mirror restriction for that file will be ignored.
mysql-5.1.69 suffers from the same issue.
Some new information: "This is indeed a bug, where the build system erroneously and silently started pulling in man pages with the wrong set of copyright headers." http://bugs.mysql.com/bug.php?id=69512 (I can't add this link to "See Also" for some reason)
(In reply to Chí-Thanh Christopher Nguyễn from comment #4) > "This is indeed a bug, where the build system erroneously and silently > started pulling in man pages with the wrong set of copyright headers." Interesting. Does this mean that the man pages are generated from (docbook?) sources that are not included in the tarball? This would mean that they cannot be distributed under the terms of the GPL unless these sources are also included.
(In reply to Ulrich Müller from comment #5) > (In reply to Chí-Thanh Christopher Nguyễn from comment #4) > > "This is indeed a bug, where the build system erroneously and silently > > started pulling in man pages with the wrong set of copyright headers." > > Interesting. Does this mean that the man pages are generated from (docbook?) > sources that are not included in the tarball? This would mean that they > cannot be distributed under the terms of the GPL unless these sources are > also included. I can't recall what the original doc sources were in, but it's something weird relating to MySQL historical dual-licensing.
Versions 5.1.70 has been released upstream. Upstream has also *replaced* the mysql-5.5.32.tar.gz distfile (with man pages under GPL-2 again). Unfortunately, the GPG signature at http://dev.mysql.com/downloads/gpg.php?file=mysql-5.5.32.tar.gz doesn't match. I see the following SHA256 sums for mysql-5.5.32.tar.gz: babb19a1e58f6b285ff75e876f550a798d37fb72b5a548ffb411e8a4a51f6890 (upstream) 20930c3d934937f3863073af0a54cb014a4c6469e5460a81e2ff75062755377e (Gentoo mirrors)
5.1.70 was committed to the overlay. I'm currently testing the new 5.5.32.
I've updated the manifest for 5.5.32 in the overlay and tree and forced the new tarball into /distfiles/local.
jmbsvicetto: i pushed the new ebuilds to the main tree, because that is where /space/distfiles-local matters. it was making mirroring unhappy because the Manifest in the main tree didn't match.
Wouldn't a revbump for 5.5.32 be appropriate, if its tarball has changed?
