Accepted acl2 8.0dfsg-1 (source all amd64) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Fri, 12 Jan 2018 14:04:36 +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: 8.0dfsg-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
Changes:
acl2 (8.0dfsg-1) unstable; urgency=medium
.
* New upstream release
* Applied dfsg changes from 7.1
* build-dep latest gcl
Checksums-Sha1:
f87a3bbfbf7dcd2e0f0a147a474c25196d55a501 2245 acl2_8.0dfsg-1.dsc
4cba7b1c706f454ee889aecdcf870bbf90086d42 77635571 acl2_8.0dfsg.orig.tar.gz
d50bac5e3ec2d9d82be7b7d3c9ff1f60f3911ac4 204760 acl2_8.0dfsg-1.debian.tar.xz
ffa4c3000fc39e2e252b05a3425149cb527244ea 73306868 acl2-books-certs_8.0dfsg-1_all.deb
488ec08143a73d7e115072dae7094e9e24ce50cb 12473396 acl2-books-source_8.0dfsg-1_all.deb
d86a30a68805ea3f468c2aad97eb978f72a4b56b 137946376 acl2-books_8.0dfsg-1_amd64.deb
b153bb5295829d7a79b22ca89407dc6b40c2329f 401524 acl2-doc_8.0dfsg-1_all.deb
fbcec3f0280fa81f752622ed0be2c2200b7c7236 67608 acl2-emacs_8.0dfsg-1_all.deb
9c4e6f5f56ad937d180f88f4fcc2d293a17bbc89 79188 acl2-infix-source_8.0dfsg-1_all.deb
4a0b0e7cfd6fd5d36344129640f09c3b1984444f 432032 acl2-infix_8.0dfsg-1_amd64.deb
9f149d65e71a8f04f8c02689df39d7e0d87efb7b 3081324 acl2-source_8.0dfsg-1_all.deb
b159b08444990cd43f4cab06885c93254501033c 12005 acl2_8.0dfsg-1_amd64.buildinfo
04eaa1829f743005fabf04a41f43e42faf55923a 19855896 acl2_8.0dfsg-1_amd64.deb
Checksums-Sha256:
a6066382f31e54b8f2b0799035547acab3e1f97c515d4ec529644ed5731c24c2 2245 acl2_8.0dfsg-1.dsc
e1ec509864d0ffc1235cf727ffac1ca0d8cd7f9ab4915cc71ceb4bdadfdcc145 77635571 acl2_8.0dfsg.orig.tar.gz
9d041ee94da76dcc1dfdb0f3bfdf913d96beb410b6ac4a00f1f145fb44d39ea7 204760 acl2_8.0dfsg-1.debian.tar.xz
9d82e6f84fbe2099e5e43f68690bc038e5310d64debeeeefbb049870b8a40fe4 73306868 acl2-books-certs_8.0dfsg-1_all.deb
c0da9a0cc49decccd5aa2c3b10ec1b9c9fec6ac7c3a65c70daba1889bd653840 12473396 acl2-books-source_8.0dfsg-1_all.deb
698146eabe57287635acde1f5af747b8dbf075fb1bbbb849a57603e4accd79e0 137946376 acl2-books_8.0dfsg-1_amd64.deb
9a58d90a701dee6915443934e013d1411251e0755accba0a59f5f6d95fcbac75 401524 acl2-doc_8.0dfsg-1_all.deb
bf9de8ba3d8473f3c47795402b87c1b9d646902e9f39830a1da47c04fb514a81 67608 acl2-emacs_8.0dfsg-1_all.deb
4a13b1cf0e1e691d4c6be752dc37650cf82294b28c05fda7cf001ced6239dfd1 79188 acl2-infix-source_8.0dfsg-1_all.deb
c0a925029b991d42ad7266b771ff553cd06f14853c905b12460875a88442b2ff 432032 acl2-infix_8.0dfsg-1_amd64.deb
a1cdc40aada2b86d0f8ebf061e044769f4ff630157c233c6f1268fb7e5975de7 3081324 acl2-source_8.0dfsg-1_all.deb
35506828667604327036681d47daaa7390a20118bc23a079bd2e6c131b3e0815 12005 acl2_8.0dfsg-1_amd64.buildinfo
5a3b0285ac6719b4d56f0dbbaaa4f1959742186f9f489861f31ec9eea6d3eb0f 19855896 acl2_8.0dfsg-1_amd64.deb
Files:
2f855e72f4158ce57d83875a65aa8460 2245 math optional acl2_8.0dfsg-1.dsc
05144a9a066802e76ba4fa79705cd917 77635571 math optional acl2_8.0dfsg.orig.tar.gz
dabede6da180854223dd1eeb4b24abbf 204760 math optional acl2_8.0dfsg-1.debian.tar.xz
d4e33b0c2c50a9bfa33fd1e3c633072e 73306868 math optional acl2-books-certs_8.0dfsg-1_all.deb
5a4ce0c833c55accac23cd1c2dd36171 12473396 math optional acl2-books-source_8.0dfsg-1_all.deb
53a241adcc73411215377a8ae2f728ac 137946376 math optional acl2-books_8.0dfsg-1_amd64.deb
65fd42cc6cb8f5e83fdbfb01f9c31ee5 401524 doc optional acl2-doc_8.0dfsg-1_all.deb
80624579b5e7507ac2c1ea7a0cdc12ca 67608 math optional acl2-emacs_8.0dfsg-1_all.deb
bfbd95094795c88e7fb874bd3a991bbe 79188 math optional acl2-infix-source_8.0dfsg-1_all.deb
6e3407addd8eff35a329ca50c489cff3 432032 math optional acl2-infix_8.0dfsg-1_amd64.deb
f28480a76fcedab46a484d4ac7acdd85 3081324 math optional acl2-source_8.0dfsg-1_all.deb
9a19798225c4b353f56ea71351c2b4ce 12005 math optional acl2_8.0dfsg-1_amd64.buildinfo
16b5db0633433064bd9c7152834ba263 19855896 math optional acl2_8.0dfsg-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAlpZcZkACgkQuEXOUQ+b
cU2AthAAlTKBd4q+/xZB53S4bQ15I6pZl8PNaP4Gb/TP7xR3p/35YlblxALJBGJ1
f8QFdJmp3unyfY090bi3F5uLQxG91NbzamLUjkszr0yTHsxs7jPigRlAVuly2DGE
OPMkRtiM75LpKiMHuz7Lux0yCjAiJrmNIqWwQnZUX+MkijQ4WHb5yNbAbP1U5DOW
kT5NV9GF/99Z2eKa8jiuQKzTg2pmtOWmQGbTBDQoGwl5sVG3telmCRL2B3/cKx60
6xB60lVUCO052JQs+fX/R2ih8mTK+8cZyHNf7Z7r1kEP9daILzMqHrA3OQuMZ+FR
VqFmIrINhDV5mIl4Zab+BDNr9ADlwu/ILo6OXJCYqHfNG3RkgL39Acl3kho8gfiG
ngA+I+XvQnNfRapt2G5vR+lkhffeVsQj9wCNdBjLJGrMMgtfHzuBd4ZtnRsoIsvr
SiAqxBTT0L7wPVZF5HHtzYitDyap25DyOrBMGr6G3lxcDeOKVUDV2w6aDFkTeoSX
DSDJWfTcfSv+BbIAW2VugIuk0Mx/CkyuM+6XI4JSCAc0K3LIuh11KnGiykV/hG3N
pWhU8QT6qds66gro0KkbGphGPps5d109hA94jjjfbHRH5CpL3HUn7ZtqjYlx/jtu
90ZXU7lSurGySdB3chbE5LkHrjpkByqK+A+Fn+YCTXbBNIy5XIw=
=gTCO
-----END PGP SIGNATURE-----