[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

MMIX License



Hello,

I am planning to adopt the mmix-src package. As it is stated in the
description:

  Due to license considerations, this package will only extract the
  source code for MMIX onto your system.  After installation, you will
  have to build mmix and separately install it.

it is included in non-free.

I have been reading the license, that I send attached, and I cannot
figure exactly why this decision was made.

The original tar is in source form, but I think it should be possible
to compile it to produce binary packages as long as no modifications
are being done in the original files.

So, is it possible to move it to main and shipping it in binary form?
(that means the package name should also be changed).

Thanks

Pablo S. Torralba


----------------------------------------------------------------------
			     MMIX License
 --------------------------------------------------------------------
    copyright 1999 Donald E. Knuth

    This file may be freely copied and distributed, provided that no
    changes whatsoever are made. All users are asked to help keep the
    MMIXware files consistent and ``uncorrupted,'' identical
    everywhere in the world. Changes are permissible only if the
    modified file is given a new name, different from the names of
    existing files in the MMIXware package, and only if the modified
    file is clearly identified as not being part of that package.
    (The CWEB system has a ``change file'' facility by which users can
    easily make minor alterations without modifying the master source
    files in any way. Everybody is supposed to use change files
    instead of changing the files.)  The author has tried his best to
    produce correct and useful programs, in order to help promote
    computer science research, but no warranty of any kind should be
    assumed.
----------------------------------------------------------------------


-- 
To UNSUBSCRIBE, email to debian-legal-request@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org



Reply to: