Package: mlton
Version: 20100608-5.1
Severity: serious
Tags: upstream
X-Debbugs-Cc: r...@debian.org

Since at least oldoldoldstable, the mlton sources have included non-free files.
In particular, the tarball lib/ckit-lib/ckit.tgz contains the files
ckit/src/parser/util/error.sml and ckit/src/parser/util/error-sig.sml.  These
files are:

(*
 * Copyright (c) 1996 by Satish Chandra, Brad Richards, Mark D. Hill,
 * James R. Larus, and David A. Wood.
 *
 * Teapot is distributed under the following conditions:
 *
 *     You may make copies of Teapot for your own use and modify those copies.
 *
 *     All copies of Teapot must retain our names and copyright notice.
 *
 *     You may not sell Teapot or distributed Teapot in conjunction with a
 *     commercial product or service without the expressed written consent of
 *     the copyright holders.
 *
 * THIS SOFTWARE IS PROVIDED ``AS IS'' AND WITHOUT ANY EXPRESS OR IMPLIED
 * WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED WARRANTIES OF
 * MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
 *
 *)

The restriction on distribution in conjunction with a commercial product
or service is in violation of point 6 of the DFSG.

See also the related bug against SML/NJ:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=998154

-- System Information:
Debian Release: bookworm/sid
  APT prefers unstable-debug
  APT policy: (500, 'unstable-debug'), (500, 'unstable'), (1, 
'experimental-debug'), (1, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 5.14.0-1-amd64 (SMP w/4 CPU threads)
Kernel taint flags: TAINT_PROPRIETARY_MODULE, TAINT_OOT_MODULE, 
TAINT_UNSIGNED_MODULE
Locale: LANG=en_CA.UTF-8, LC_CTYPE=en_CA.UTF-8 (charmap=UTF-8), LANGUAGE not set
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled

Versions of packages mlton depends on:
ii  mlton-compiler  20130715-3
ii  mlton-doc       20130715-3
ii  mlton-tools     20130715-3

mlton recommends no packages.

mlton suggests no packages.

-- no debconf information

-- 
|)|/  Ryan Kavanagh  | 4E46 9519 ED67 7734 268F
|\|\  https://rak.ac | BD95 8F7B F8FC 4A11 C97A

Attachment: signature.asc
Description: PGP signature

Reply via email to