-----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-----
