Trevor Johnson 74ef27da9e 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.		2005-03-15 04:42:18 +00:00
..
distinfo
Makefile	The linux_devtools port includes binaries which are licenced under	2005-03-15 04:42:18 +00:00
pkg-descr
pkg-install