Your message dated Wed, 21 Oct 2015 16:21:03 +0000
with message-id <[email protected]>
and subject line Bug#787368: fixed in acl2 7.1dfsg-1
has caused the Debian Bug report #787368,
regarding [acl2] Some sources are not included in your package
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 [email protected]
immediately.)
--
787368: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=787368
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: acl2
Version: 7.0-1
user: [email protected]
usertags: source-is-missing
severity: serious
X-Debbugs-CC: [email protected]
Hi,
Your package seems to include some files that lack sources
in prefered forms of modification:
books/xdoc/fancy/lib/katex/katex.min.js
books/xdoc/fancy/lib/katex/katex.min.css
books/workshops/2003/schmaltz-al-sammane-et-al/support/acl2link
and the source of workshop paper under books/workshops/. BTW do you have
written authorisation for distributing workshop paper (pdf.gz and ps.gs) ?
According to Debian Free Software Guidelines [1] (DFSG) #2:
"The program must include source code, and must allow distribution
in source code as well as compiled form.".
This could also constitute a license violation for some copyleft licenses such
as the GNU GPL.
In order to solve this problem, you could:
1. repack the origin tarball adding the missing source to it.
2 add the source files to "debian/missing-sources" directory
Both way satisfies the requirement that we ship the source. Second option
might be preferable due to the following reasons [2]:
- Upstream can do it too and you could even supply a patch to them, thus full
filling our social contract [3], see particularly §2.
- If source and non-source are in different locations, ftpmasters may
miss the source and (needlessly) reject the package.
- The source isn't duplicated in every .diff.gz/.debian.tar.* (though
this only really matters for larger sources).
You could also ask [email protected] or #debian-qa for more
guidance.
[1] https://www.debian.org/social_contract.en.html#guidelines
[2] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=736873#8
[3] https://www.debian.org/social_contract
signature.asc
Description: This is a digitally signed message part.
--- End Message ---
--- Begin Message ---
Source: acl2
Source-Version: 7.1dfsg-1
We believe that the bug you reported is fixed in the latest version of
acl2, 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 [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Camm Maguire <[email protected]> (supplier of updated acl2 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 [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 21 Oct 2015 02:21:10 +0000
Source: acl2
Binary: acl2 acl2-source acl2-emacs acl2-infix acl2-infix-source acl2-books
acl2-books-source acl2-books-certs acl2-doc
Architecture: source all amd64
Version: 7.1dfsg-1
Distribution: unstable
Urgency: medium
Maintainer: Camm Maguire <[email protected]>
Changed-By: Camm Maguire <[email protected]>
Description:
acl2 - Computational Logic for Applicative Common Lisp: main binary
acl2-books - Computational Logic for Applicative Common Lisp: compiled librari
acl2-books-certs - Computational Logic for Applicative Common Lisp: library
certific
acl2-books-source - Computational Logic for Applicative Common Lisp: library
sources
acl2-doc - Computational Logic for Applicative Common Lisp: documentation
acl2-emacs - Computational Logic for Applicative Common Lisp: emacs interface
acl2-infix - Computational Logic for Applicative Common Lisp: infix interface
acl2-infix-source - Computational Logic for Applicative Common Lisp: infix
source
acl2-source - Computational Logic for Applicative Common Lisp: source files
Closes: 787368
Changes:
acl2 (7.1dfsg-1) unstable; urgency=medium
.
* Bug fix: "[acl2] Some sources are not included in your package",
thanks to Bastien ROUCARIÈS (Closes: #787368).
Repackage to add missing sources and delete questionable files.
Removed files in orig tarball that are removed by clean target:
books/workshops/1999/ivy/ivy-v2/ivy-sources/arithmetic.lisp.bak
books/workshops/1999/ivy/ivy-v2/ivy-sources/util/checker.orig
books/workshops/1999/ivy/ivy-v2/ivy-sources/util/make-saved-ivy.orig
books/workshops/1999/ivy/ivy-v2/ivy-sources/util/sivy.orig
books/workshops/1999/ivy/ivy-v2/ivy-sources/util/ivy.orig
Removed sparc binary inadvertently included in upstream:
books/workshops/2003/schmaltz-al-sammane-et-al/support/acl2link
Added katex sources to debian/missing-sources:
debian/missing-sources/books/xdoc/fancy/lib/katex/katex.js
debian/missing-sources/books/xdoc/fancy/lib/katex/katex.min.css
debian/missing-sources/books/xdoc/fancy/lib/katex/src/*
Removed rfc file with non-dfsg licence:
books/centaur/quicklisp/bundle/software/rfc2388-20130720-git/doc/rfc2388.txt
Added source to debian/missing-sources to remove a lintian false positive:
debian/missing-sources/books/workshops/2000/shumsky/slides2_files/script.js
* build-dep latest gcl
* updated README.Debian.in
* remove clisp scripts from acl2-books-source
* remove .gitignore from acl2-doc
* added lintian override for (non) extra-license-file
books/centaur/aignet/copying.cert
Checksums-Sha1:
b27c11581b60d13d4944ab6a9ead5fa085c36a5e 2231 acl2_7.1dfsg-1.dsc
b80eeee6de81dc4a86bfe674e4578be2d26fdb71 38379756 acl2_7.1dfsg.orig.tar.gz
cdc0226c4bd4111199a0d9250fcaf68cafd2c3a0 203564 acl2_7.1dfsg-1.debian.tar.xz
68a411b768ff6acd10b9565e63f993cc91dddbf7 13223018
acl2-books-certs_7.1dfsg-1_all.deb
ca48ce0eadedb06390342d45ee3bb509318cddca 9605438
acl2-books-source_7.1dfsg-1_all.deb
1815039eea6c5cb6b9b115650b399fb56472b004 67063426
acl2-books_7.1dfsg-1_amd64.deb
97eba44d11b104a41d2ebe4ae3f143bfcee6f68d 367210 acl2-doc_7.1dfsg-1_all.deb
9613884abdaee3332631a3d5fa599d01eeeeee49 63354 acl2-emacs_7.1dfsg-1_all.deb
b60a8381117b81d35ced28bcda8895b958e0baf7 78738
acl2-infix-source_7.1dfsg-1_all.deb
6c67524870c89fa7407b68ef108dbe27ae0b04ce 408514 acl2-infix_7.1dfsg-1_amd64.deb
0b912e2f56f57975545937765a5381aec77080e3 2851630 acl2-source_7.1dfsg-1_all.deb
b479d152fc36a44a0aba18c214748fbc2a259f42 17131222 acl2_7.1dfsg-1_amd64.deb
Checksums-Sha256:
9f56f318d8c4c62277d344365d4715955e54bfcb578e8c1f8b452f87ad725bff 2231
acl2_7.1dfsg-1.dsc
9187de3612fdc9bf06261c77f4fd8efbb59b13765c3fece56c736269879c0ac5 38379756
acl2_7.1dfsg.orig.tar.gz
610d89932a1d8624ce59c3d0fea0c89a459e8e658e4bcb8e1dc79ec37eff1ab5 203564
acl2_7.1dfsg-1.debian.tar.xz
5a1429ede3206f047b17311b20bf6523c548c7eaaf5a23194889e6d7515eb912 13223018
acl2-books-certs_7.1dfsg-1_all.deb
52bbabd1a946f9535e76443c11faee9a1c039b9427b99ade01f5914abcb6bce4 9605438
acl2-books-source_7.1dfsg-1_all.deb
182ece6fc344452f1d9f69c7ceb2de96bdcda71604604013aaa4e86e24d3d3f6 67063426
acl2-books_7.1dfsg-1_amd64.deb
8cec407cc6b88a48095eb025d85a01eadac877f63732a3affa5f4885ff18c878 367210
acl2-doc_7.1dfsg-1_all.deb
a4983a94c9dc89a93abb9199fe9e9bd3cd7c5057b21b6417c35a161e8327c0f2 63354
acl2-emacs_7.1dfsg-1_all.deb
f09d148a0cf256b0c897e766e00a7044d9b7b4825212c4e2dd0ede2ec1b10034 78738
acl2-infix-source_7.1dfsg-1_all.deb
a154c563dbea690cca56a322fb912acce096a73d28a47ac599118aad62dc1a1a 408514
acl2-infix_7.1dfsg-1_amd64.deb
68d121fc50b37dd5469c8a3418a4000251a6bd851bdb654d0ad1477dcbaf0034 2851630
acl2-source_7.1dfsg-1_all.deb
004bec4f792af987b459e827086a27c03ac1fa5dc21b3b79f36291a8aba7f63d 17131222
acl2_7.1dfsg-1_amd64.deb
Files:
00eb6625a4b8011025526222036933b9 2231 math optional acl2_7.1dfsg-1.dsc
80021cf135b728d03bc03c7f6ae6a7a7 38379756 math optional
acl2_7.1dfsg.orig.tar.gz
34ce814934a19d164898c72f40d17feb 203564 math optional
acl2_7.1dfsg-1.debian.tar.xz
cf9c14eaca95c0d883576c696d5408e5 13223018 math optional
acl2-books-certs_7.1dfsg-1_all.deb
ea9a78a2e04c134a134c005af8f6708e 9605438 math optional
acl2-books-source_7.1dfsg-1_all.deb
a17cba2fa45ffc49138686dbff06b4a3 67063426 math optional
acl2-books_7.1dfsg-1_amd64.deb
db0bc4ed1b0eacd30803776b5348026a 367210 doc optional acl2-doc_7.1dfsg-1_all.deb
2e6a0760a334765e1e2435ea68530850 63354 math optional
acl2-emacs_7.1dfsg-1_all.deb
d32dcea21e5b1d664c9abd72327cab72 78738 math optional
acl2-infix-source_7.1dfsg-1_all.deb
4f83e68ad0878dccc93a04078cb53492 408514 math optional
acl2-infix_7.1dfsg-1_amd64.deb
be0c664ae666deae53c5c84cde5906ee 2851630 math optional
acl2-source_7.1dfsg-1_all.deb
ffc67a086c8c235789a27796095dcee1 17131222 math optional
acl2_7.1dfsg-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJWJ5wfAAoJELhFzlEPm3FNSuQQAILToJPUwmHpZuGOwQBr8SB6
bFkMfK/yKz9ttOo2tFJSHzou1zSRAd1PLkcaIcCMaOSoZjdHsOI7ynkDEboNZccT
qEV7elQFcCrGRIzQX/mSkfEex+JEW3QUPuYvryO5VrFMCes2Mh1t1tfkHovuHor9
2XCGf2f5TSpgnMKihwsHufivsXzAZlDQcqilnNfcObilo+8t5MG2XmmyM/s2nc69
Ta1DVjjAK58gap4PPKZ2D3hiVzc58e+1CArMubNsAc8bjRBoLwJE3SFm06pFQxbi
lNJLxLF+CXeXmove2QCNEZxKowyyHMPCMe7lvQ6110SwPzQyeTYD9Ov3viKmKRMa
evEQW3RROkJpFqwwysPo5+h8Z9z+DNz1kTBh4DCVuuzxJZhJKwgIR+5WZ6Q4lO3T
QEOKwmwxYPThC4oWlAJpgBHnFF4AQoiS2+yiS6FYz9psSnPH6gkKzGtbugpkywq/
exqoA2MQibgUw6U3s5KJGuRtf0AOpieENCTg9O38Igq3F81okwNkRNBak+JNf8jv
f8+O1ZWVaG6YpJb0JSkqEZl4vssD7IgaZxqaRXiB5vZRWQxKGOTg8NSDD6MLdIj+
wL9GPmfAjNC37aVA+D+X3y+D93pPgmuZjN9lQfVfwczMojHDwvQBPUbHoRWWbl5J
nLId7asc7Pc207hFciU0
=DCvx
-----END PGP SIGNATURE-----
--- End Message ---
