-----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 <camm@debian.org> Changed-By: Camm Maguire <camm@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-----