Accepted acl2 7.1dfsg-1 (source all amd64) into unstable
-----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-----