Bug#883755: marked as done (alt-ergo: Includes "non-free/Non-Commercial-License.pdf" listed in Files-Excluded header)
Your message dated Thu, 21 Dec 2017 19:34:02 +0000
with message-id <E1eS6bS-0008j5-3Y@fasolo.debian.org>
and subject line Bug#883755: fixed in alt-ergo 1.30+dfsg1-1
has caused the Debian Bug report #883755,
regarding alt-ergo: Includes "non-free/Non-Commercial-License.pdf" listed in Files-Excluded header
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 owner@bugs.debian.org
immediately.)
--
883755: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=883755
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Source: alt-ergo
Version: 1.30-1
Severity: serious
User: lamby@debian.org
Usertags: files-excluded
Dear Maintainer,
alt-ergo lists "non-free" in the Files-Excluded field in
debian/copyright but the source tree contains:
non-free/Non-Commercial-License.pdf
This is almost certainly a DFSG violation or at the upstream tarball was
not repacked as intended. Alternatively, the field is merely out of date.
Regards,
--
,''`.
: :' : Chris Lamb
`. `'` lamby@debian.org / chris-lamb.co.uk
`-
--- End Message ---
--- Begin Message ---
Source: alt-ergo
Source-Version: 1.30+dfsg1-1
We believe that the bug you reported is fixed in the latest version of
alt-ergo, 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 883755@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Ralf Treinen <treinen@debian.org> (supplier of updated alt-ergo 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 ftpmaster@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 21 Dec 2017 20:01:21 +0100
Source: alt-ergo
Binary: alt-ergo
Architecture: source
Version: 1.30+dfsg1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description:
alt-ergo - Automatic theorem prover dedicated to program verification
Closes: 882162 883755
Changes:
alt-ergo (1.30+dfsg1-1) unstable; urgency=medium
.
* Repack source to exclude the non-free/ directory (closes: #883755).
* Patch ocplib-simplex-0.4: patch to compile with version 0.4 of
ocplib-simplex-ocaml-dev (closes: #882162).
* Standards-Version 4.1.2 (no change)
* debian/watch: drop pgpsigurlmangle
Checksums-Sha1:
41acb522edee9b3d5dd551a0f6182e7d3668d72e 2289 alt-ergo_1.30+dfsg1-1.dsc
6e9cc2b5cd31933fc4e40090b79bf714af4f4cf3 264224 alt-ergo_1.30+dfsg1.orig.tar.gz
195f099664252ed356283d1c0db34df7e0d913e1 14672 alt-ergo_1.30+dfsg1-1.debian.tar.xz
547078872b298de49a67883c423df129e144e61c 12298 alt-ergo_1.30+dfsg1-1_source.buildinfo
Checksums-Sha256:
0a39db8f1b992d51e253320371a04b9d6ed92ac4d18e7fc7966b4f411d1b325b 2289 alt-ergo_1.30+dfsg1-1.dsc
a9846a2dc56bfc89bea99105c277d2f80cfee1ad861df2e92728ec6379465b51 264224 alt-ergo_1.30+dfsg1.orig.tar.gz
cebdd6f6e159c4e68e4363de0cc1c72c842b61a8accf76ff1956b6d1a31982b4 14672 alt-ergo_1.30+dfsg1-1.debian.tar.xz
9a4c06d4e5cce27123a49b033943cf20ef8f762c425dc1e5c80531c56b5f03d4 12298 alt-ergo_1.30+dfsg1-1_source.buildinfo
Files:
4c5d46cdfe93eca5f1ff4e62d5d61858 2289 math optional alt-ergo_1.30+dfsg1-1.dsc
bec46dfaddd266dfe4d7b8534221afef 264224 math optional alt-ergo_1.30+dfsg1.orig.tar.gz
fb1a6ab2c7969218ad7b9de11c547297 14672 math optional alt-ergo_1.30+dfsg1-1.debian.tar.xz
28eff05f7f4a74317b6b562bd6959b0d 12298 math optional alt-ergo_1.30+dfsg1-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlo8CDgACgkQdFxHZtTK
zf+RmA//WgeqISaDfbbwnO2Y0sae+VZlBHIqSR5agHKLuHjFNZttcKpMLD/JNkUh
8rZgFKDkZklg6RbpbmAXgouliUob5kwhGYuDXqP9XfLlAp6ubAuDbKvTFbme+qU3
pLXHp3GRDGZFmcIrVvpwyHWOb0TSLMGDPHf5PjyM5zG109J4qUQKZQaMe0jjDolH
Wd5srX1Mhz+gLpGzdo0CqxaCEE8hs1jeocAtR3/Ugm+5aWxiBNP16Cng7qxkaF3p
huwJWfRsUyuFRHB/2s/QjBc7LSN+Kj3ViEJqQ/EWWUFnD3aCiJNMAVy48irjfBtC
tNHSbRL73GfPznNXin8t8sns/aoR2fO8kvRc17BswVKh6zayVOgx24nOHg8++/ag
PsK1e8TBsq+F62dr8LWCpfmDBlLC4KX9ew+ICHWsYTjjtSS/9JGTlbcXnxT7epSI
9jY6XzXkgly7wAGXuoznV1UNnnJuwyiKOanvQ6K302Y4+6ZcUAmVZ8sBMO6HFgya
zfmTTxCysMwKh0WQs6MOEU7oKuBveeQNhW+8ZBk0MW5vSjaAu71poKa7/HXKHFZM
vo+mFVI9/fyyGqiDG800y0yIG6fVjj8bDV5dIdDYMyo0G0UFGfAfTlN3xu2u0KGM
B5SeGd/n4IytI+A4O4C4qQsQxmLvupEt5cpj3u9836V2zE9XEuI=
=6GbJ
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: