Again, I don't think that that is anything used either in MLton construction or use. I would tink that if the license can be found and is good enough, like the ckit stuff, it could go in a MLton non-free package. Otherwise, I guess just remove it. Matthew?
On Sun, Oct 31, 2021 at 12:41 PM Ryan Kavanagh <r...@debian.org> wrote: > > On Sun, Oct 31, 2021 at 12:01:34PM -0500, Henry Cejtin wrote: > > 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. > > That would work from my point of view. > > While we're discussing non-free files, I've found the following > problematic source files so far. Is there anything to indicate that they > can be distributed at all, let alone under the HPND or some other free > license? They're all benchmarks, so they could probably be dropped > without too much impact... > > * benchmark/tests/md5.sml: > Copyright (C) 2001 Daniel Wang. All rights reserved. > > The "All rights reserved" bit and the lack of any licensing > information makes me skeptical that the file can be distributed at > all. It could be replaced by Tom7's implementation if you want a > crypto benchmark: > https://github.com/LenaWil/tom7/tree/master/sml-lib/crypt/MD5 > > * benchmark/tests/DATA/chess.gml: > Copyright Leif Kornstaedt, 2000 > > This looks like it was taken from an ICFP programming content > submission, with no clear licensing information: > https://www.ps.uni-saarland.de/helikopter/2000/ > > * benchmark/tests/zern.sml > COPYRIGHT (c) 1998 D.McClain/MCFA > > This looks like it was taken from > > https://web.archive.org/web/20010215003107/http://www.azstarnet.com/~dmcclain/LanguageStudy.html > with no clear licensing information. > > I'll update this bug report with any other files I find. > > Best, > Ryan > > -- > |)|/ Ryan Kavanagh | 4E46 9519 ED67 7734 268F > |\|\ https://rak.ac | BD95 8F7B F8FC 4A11 C97A