As far as I know, the ckit stuff is just included because it needed some tweaks to work under MLton. I don't think that any of "our" stuff depends on it. I would think that the right solution would be to move it into a separate package, and that package would be part of the "non-free" world in Debian.
Matthew: am I correct? On Sat, Oct 30, 2021 at 10:39 PM Ryan Kavanagh <r...@debian.org> wrote: > > 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
