Accepted acl2 8.3dfsg-3 (source all amd64) into unstable, unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 03 Feb 2021 18:36:07 +0000
Source: acl2
Binary: acl2 acl2-books acl2-books-certs acl2-books-source acl2-doc acl2-infix acl2-infix-source acl2-source elpa-acl2
Architecture: source all amd64
Version: 8.3dfsg-3
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-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
elpa-acl2 - Computational Logic for Applicative Common Lisp: emacs interface
Changes:
acl2 (8.3dfsg-3) unstable; urgency=medium
.
* clean build-depends
* lintian cleanups
* acl2-emacs -> elpa-acl2
Checksums-Sha1:
9a140e4e6bfff12aebacf96851b2ba37a690da41 2281 acl2_8.3dfsg-3.dsc
48820db546529060c1786131fe110c976100618e 262612 acl2_8.3dfsg-3.debian.tar.xz
f0059a16bed546b3b146f582ca370a34d66a9e60 145270148 acl2-books-certs_8.3dfsg-3_all.deb
4b3b7e1533701f30de87f7ada078feaa5f29ca5a 19536952 acl2-books-source_8.3dfsg-3_all.deb
6bf4d85756a924fc2ed57a9165f7f0387d8c8d2f 252810824 acl2-books_8.3dfsg-3_amd64.deb
3fe6cfb2db34cfe00015e0dc916ba66571e213e2 447656 acl2-doc_8.3dfsg-3_all.deb
98c659e91e26e8445b13b2620752be58082c7749 79920 acl2-infix-source_8.3dfsg-3_all.deb
39732f79b89603b4311c877d7fae0d6fa825591a 491392 acl2-infix_8.3dfsg-3_amd64.deb
5f1eaf06654e1bdb761049d957e0c49a9b724fe8 3340444 acl2-source_8.3dfsg-3_all.deb
ed993af4450c757cf3f29b5d1053856f42c243a0 12170 acl2_8.3dfsg-3_amd64.buildinfo
65a16ecb53bdaa706658bda3c81572a1b104ec9c 21401472 acl2_8.3dfsg-3_amd64.deb
9e7f185a510191b99141e121ce800e79fc003678 76552 elpa-acl2_8.3dfsg-3_all.deb
Checksums-Sha256:
3af59cbcd4f391df14e218e5598d37c652a4dcf498570e21a8a27df0b0f289bd 2281 acl2_8.3dfsg-3.dsc
32628de41b9bc24ca61e2b75534606286e332515a3526bfd73b0cd568aa57c61 262612 acl2_8.3dfsg-3.debian.tar.xz
5f7ec9a136cabb1c0344118f9bd510d13dee4e0ea50fcc569e89d851b5bfc065 145270148 acl2-books-certs_8.3dfsg-3_all.deb
edc496e05fb89ae96bcf706c217821434ccbe388fbdb5093247d01dd67976242 19536952 acl2-books-source_8.3dfsg-3_all.deb
4ea2e9a3084f66dcc24fc409e6069b2ee4dc67b4f740ea013b87be9ce3e15a19 252810824 acl2-books_8.3dfsg-3_amd64.deb
6905e16fa59ab546434b04e3e0e19489274b64899fab8c6b2a2f6c092bf9ff8d 447656 acl2-doc_8.3dfsg-3_all.deb
7542d58d07a5db5b5cbcf063d53015d5906d7be12934089c188e45b2987ccee7 79920 acl2-infix-source_8.3dfsg-3_all.deb
cb77e03710660753ed254c4817c002128dcc328fbec18d15f00ba733f147f3db 491392 acl2-infix_8.3dfsg-3_amd64.deb
f2efae6fd4fc5cec266bc92b3dbe126294d46d1e482edbaac804e177f8d09c04 3340444 acl2-source_8.3dfsg-3_all.deb
3f96045d5d290aafb8d2449e2ca90685023764ef1da2eb777c62598d4df0fec1 12170 acl2_8.3dfsg-3_amd64.buildinfo
d86e03eea1985c4ef3624aff3464a806cf1247951a3890cf5db72a88f3cc3032 21401472 acl2_8.3dfsg-3_amd64.deb
1b8eb87ab76de983c678e0a8ec27bf58a4ac4c9b0c4aa639a815a6327c5dbc16 76552 elpa-acl2_8.3dfsg-3_all.deb
Files:
d25c056b0b53ae5ca0d5093767799729 2281 math optional acl2_8.3dfsg-3.dsc
a6edc4ae413c72119717e63a3d7a2e82 262612 math optional acl2_8.3dfsg-3.debian.tar.xz
824b4b4156ad2f51361a0066f1c8b2cd 145270148 math optional acl2-books-certs_8.3dfsg-3_all.deb
b877f58decb42a4ae31c37851ae77cfc 19536952 math optional acl2-books-source_8.3dfsg-3_all.deb
d6bd87a45d2f02db8fd700bf167f5547 252810824 math optional acl2-books_8.3dfsg-3_amd64.deb
03c34871d1faace3d74f4a9260312663 447656 doc optional acl2-doc_8.3dfsg-3_all.deb
a44185d757290e9143effc659750c225 79920 math optional acl2-infix-source_8.3dfsg-3_all.deb
7125e0ae754dddcb38dc218b8b1d8646 491392 math optional acl2-infix_8.3dfsg-3_amd64.deb
a9f16057c4b2c69b0710c9ca116ad4ef 3340444 math optional acl2-source_8.3dfsg-3_all.deb
b4582e05fe6c94781526e8c65a994914 12170 math optional acl2_8.3dfsg-3_amd64.buildinfo
129d8b5846343d17994bf66789ce7f44 21401472 math optional acl2_8.3dfsg-3_amd64.deb
37bd0ef8a33b57f42bd54bfae4be5e16 76552 lisp optional elpa-acl2_8.3dfsg-3_all.deb
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmAj6J0ACgkQuEXOUQ+b
cU2lPA//eqO+Hm9r3BxGNVP0OsCoyLaI8cwa1Am23smcxy/u5dR5wWJJ6kPFSLl3
tEfBu/hKMnZmRVk1zdIiHmIj7Z4pd4I8+W9mjdmTqwbAGckov1CvXfUw1yjgGnRP
b+e1+sQVR59InExQOz1sBC/aC7+rT4jTdVVT1/B9nr5/+Hn3TqvCdPZKJM5OFK6W
HUBAkQubK2lGvMs9di25vjlx/WMIp/mWfR0cRh3wfw1/L30dWqBOtJrXGXl1hF/M
5B7H0Nt6ADaZN/VKBRweBRxRUqICJ47h/I0lLz8lTrh3nGo3LRJUFcGSb+hd7zuI
cfEzs4iSQmoBIUDsPiv5FLwXBC3S2Rz+P0CnD+cne7hXO39RQa7APXmPn0PTBCQJ
4TWtkkiPIx5A4i1Te9/LvbH8330PIziV72SMFxMgN6s/U8vsiiQyCxLS51xi1tH3
XcOlKM/fYK2fviv+SGcNmMxhBh8tL6oHSBTCFJB8lyHT5W7+dKOmf8RnzHk2vREj
QUwi6mTcqlhiph9j+KbgxxnLBsFza42utpPF/6Wzc987PYkr5YZ49WmUAi75Aie0
2pCiOEOfNJMyaW8/ik4AbomM/WmWhI5NpDell9OsVA4YJkkswqyRo1yHh0HTDpUC
+VirATmtCd1Ahf4Bjuao/rxX/6k+nhndoOLLOu/cSOTuUqGZXQw=
=JZ/2
-----END PGP SIGNATURE-----