Your message dated Wed, 21 Oct 2015 16:21:03 +0000 with message-id <e1zow8n-0005qi...@franck.debian.org> 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 ow...@bugs.debian.org immediately.) -- 787368: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=787368 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---Package: acl2 Version: 7.0-1 user: lintian-ma...@debian.org usertags: source-is-missing severity: serious X-Debbugs-CC: ftpmas...@debian.org 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 debian...@lists.debian.org 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 787...@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Camm Maguire <c...@debian.org> (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 ftpmas...@ftp-master.debian.org) -----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 <c...@debian.org> Changed-By: Camm Maguire <c...@debian.org> 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 ---
