The linux_devtools port includes binaries which are licenced under

the GNU General Public License.  The following is the portion of
the license which grants permission to distribute these in binary
form:

	  3. You may copy and distribute the Program (or a work based on
	it, under Section 2) in object code or executable form under the
	terms of Sections 1 and 2 above provided that you also do one of
	the following:

	    a) Accompany it with the complete corresponding
	    machine-readable source code, which must be distributed under
	    the terms of Sections 1 and 2 above on a medium customarily
	    used for software interchange; or,

	    b) Accompany it with a written offer, valid for at least
	    three years, to give any third party, for a charge no more
	    than your cost of physically performing source distribution,
	    a complete machine-readable copy of the corresponding source
	    code, to be distributed under the terms of Sections 1 and 2
	    above on a medium customarily used for software interchange;
	    or,

	    c) Accompany it with the information you received as to the
	    offer to distribute corresponding source code.  (This
	    alternative is allowed only for noncommercial distribution
	    and only if you received the program in object code or
	    executable form with such an offer, in accord with Subsection
	    b above.)

[...]

	If distribution of executable or object code is made by offering
	access to copy from a designated place, then offering equivalent
	access to copy the source code from the same place counts as
	distribution of the source code, even though third parties are
	not compelled to copy the source along with the object code.

Since this port does not satisfy these conditions the license does
not give us permission to distribute the binaries.

I brought up this issue with portmgr but after 73 days I have seen
no response.

1 files changed, 2 insertions, 0 deletions

diff --git a/devel/linux_devtools/Makefile b/devel/linux_devtools/Makefile
index f447a97959b2..83229f67b3f2 100644
--- a/devel/linux_devtools/Makefile
+++ b/devel/linux_devtools/Makefile
@@ -35,6 +35,8 @@ COMMENT=		Packages needed for doing development in Linux mode
 
 BUILD_DEPENDS=	rpm:${PORTSDIR}/archivers/rpm
 
+RESTRICTED=		"binaries under GNU GPL without accompanying source"
+
 USE_LINUX?=		yes
 NO_LATEST_LINK=		yes
 ONLY_FOR_ARCHS=		i386