Your message dated Mon, 03 Oct 2022 11:05:10 +0000
with message-id <e1ofjg2-002ulw...@fasolo.debian.org>
and subject line Bug#998154: fixed in smlnj 110.79-7
has caused the Debian Bug report #998154,
regarding contains non-DSFG-free files
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)
--
998154: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=998154
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: smlnj
Version: 110.76-2
Severity: serious
Tags: upstream
Since at least oldoldoldstable, the SML/NJ sources have included
non-free files. In 110.76-2, these non-free files include at least
ckit.tgz, which contains the files ckit/src/parser/util/error.sml and
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.
*
*)
In the sources for 110.79-6 (unstable), they can be found in extracted
form at the same location
The restriction on distribution in conjunction with a commercial product
or service is in violation of point 6 of the DFSG.
-- 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 smlnj depends on:
ii smlnj-runtime 110.79-6
Versions of packages smlnj recommends:
ii libsmlnj-smlnj 110.79-6
Versions of packages smlnj suggests:
pn smlnj-doc <none>
-- no debconf information
--
|)|/ Ryan Kavanagh | 4E46 9519 ED67 7734 268F
|\|\ https://rak.ac | BD95 8F7B F8FC 4A11 C97A
signature.asc
Description: PGP signature
--- End Message ---
--- Begin Message ---
Source: smlnj
Source-Version: 110.79-7
Done: Barak A. Pearlmutter <b...@debian.org>
We believe that the bug you reported is fixed in the latest version of
smlnj, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 998...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Barak A. Pearlmutter <b...@debian.org> (supplier of updated smlnj package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 03 Oct 2022 09:27:56 +0100
Source: smlnj
Architecture: source
Version: 110.79-7
Distribution: unstable
Urgency: medium
Maintainer: Barak A. Pearlmutter <b...@debian.org>
Changed-By: Barak A. Pearlmutter <b...@debian.org>
Closes: 837735 998154
Changes:
smlnj (110.79-7) unstable; urgency=medium
.
[ Debian Janitor ]
* Trim trailing whitespace.
* Use secure URI in debian/watch.
* Use secure URI in Homepage field.
.
[ Barak A. Pearlmutter ]
* Cherry-pick upstream copyright fix as patch (closes: #998154)
* Bump debhelper from old 9 to 13.
* Update standards version to 4.6.1, no changes needed.
* Rules do not require root.
* Adopt package (closes: #837735)
Checksums-Sha1:
a8ffc8b0f6f2a8aa58e70fb8ec39e49f086a2f3a 3164 smlnj_110.79-7.dsc
575a91534f5f9ac1b70fb50670e346ac90cab318 19396 smlnj_110.79-7.debian.tar.xz
6aaac51b9939e8afd20c15e9a4f62e95c4678d33 7396 smlnj_110.79-7_source.buildinfo
Checksums-Sha256:
a15b0b2a1bb31316cc1cdddd7adecaf5f5a4ac7e6c041eb27491b5e7fdc8cd72 3164
smlnj_110.79-7.dsc
078590fbf002ba5c2efbe63b5456295a3a76ef9a9d0346be21b06cd91cef83fc 19396
smlnj_110.79-7.debian.tar.xz
85f1c10f4301af994152a5242faff54b54ee7f452aafd0e984c7171f33f00aa1 7396
smlnj_110.79-7_source.buildinfo
Files:
e13bac5a62424b8ab71705159a26d2b5 3164 devel optional smlnj_110.79-7.dsc
63757bf7e5f7c2636f0dd647d691c418 19396 devel optional
smlnj_110.79-7.debian.tar.xz
148a7cec4965edfefb1d952b04adcf2c 7396 devel optional
smlnj_110.79-7_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEE+nZaz+JE7Dn2AefCmesepNIze4gFAmM6vWIACgkQmesepNIz
e4igshAAuMc4kO2uCRwGaYuOASSPXHOavKtgecnh9zfC5HB9HJHR0MCUyTnc+YBz
AeNLqHGzgArRij0zgHVLCdRPKrRqHSCxRIiuqsZph8pLJkxCNChFgMg7GZ7LDxex
A0Ym3L6O4cdU7jBR7lPbf2g/UBBmVYJM16ySZbcM0xpXhSp/l5+b/hejP+vL+5tV
m9KBnfnJACEsZWX+iyEcnsQLwHmOSDL2N8AWT6vqCGlot1VgmxF9mA66NYSqnbfM
8vg2UvnqFjFEtb3ZNWXgDIGIvuXoKTg5fVliEHDyXWl073u7XjYckCI0gfJF9TTx
Rz8k4zk33juTsGjHtPJEkvtwSJqE22lByD9DOmKAxugaxFh4loYQrLqF+UXTv4DX
9TaY8Qlf7s3+RW9wJJGJEcRgKSlaS6FRqOabcBmQflJGqXJIGGi4hM7lgtQhyEFq
UgPTb+3gWHUjvX324wTAhsvdxcDEjwyOOP07u9TobssG0QE23yGg5IWO8CTIkkBK
hbom3dB9iV1J01FE22SBKgKjZtde5gSF+xdCyMQUak6Qyp3HoJ8N/2W/5gy6XafH
FvmylO+1NruqbxdFolrHMmZirPVGHE6QiK6bdDtBl5P/qQ2BR5eXvYjoZBo+6nrK
ZX9rBog7hs2Nzubnvk/g15uxSvRRq6ad3Izfs6Gqgqd7OCMiJaU=
=BoXk
-----END PGP SIGNATURE-----
--- End Message ---
