Back to acl2 PTS page

Accepted acl2 8.1dfsg-3 (source all amd64) into unstable



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Wed, 03 Apr 2019 13:47:29 +0000
Source: acl2
Binary: acl2 acl2-books acl2-books-certs acl2-books-source acl2-doc acl2-emacs acl2-infix acl2-infix-source acl2-source
Architecture: source all amd64
Version: 8.1dfsg-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-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: 926121
Changes:
 acl2 (8.1dfsg-3) unstable; urgency=medium
 .
   * Bug fix: "excessive build time on 32-bit architectures", thanks to
     Aurelien Jarno (Closes: #926121).
Checksums-Sha1:
 01e77dad44ccaf6f054ff745fb6f3b4f9a0e60b7 2245 acl2_8.1dfsg-3.dsc
 a04dc3359939f850bfcb69ddddba96f9eb27a5a1 205156 acl2_8.1dfsg-3.debian.tar.xz
 aa2b4401bd356353c580f0b812da6edeed18fce0 81037520 acl2-books-certs_8.1dfsg-3_all.deb
 f703e2a29b489c40cc8f7a1c5c2a90c89a608cba 13586280 acl2-books-source_8.1dfsg-3_all.deb
 5450a10e8f05a4afdb0348ffaea7466e22021619 163433584 acl2-books_8.1dfsg-3_amd64.deb
 853f6b2c394a0dafb3678eaa061ec558bdb7ecff 413248 acl2-doc_8.1dfsg-3_all.deb
 fa26ef217a4cecff88ac4fde82dfde26e2ca59a0 67760 acl2-emacs_8.1dfsg-3_all.deb
 292be436614cf148838d4ed35d5b4f5b5f5b8fb2 79404 acl2-infix-source_8.1dfsg-3_all.deb
 df8866cf99f53ded61d7876ffefb5b4d48ea595e 492388 acl2-infix_8.1dfsg-3_amd64.deb
 c2634949153e2539eecb70450eb5f1c516e93f8d 3132484 acl2-source_8.1dfsg-3_all.deb
 07290a71e96998110b74b428c79ab87d3a32dd24 13738 acl2_8.1dfsg-3_amd64.buildinfo
 4c4ae33c783e596e0c903db6a7737e3d4481b9a7 20437756 acl2_8.1dfsg-3_amd64.deb
Checksums-Sha256:
 13aa87172d96106e53f0e90e56bcd27834aa1ac0d1f6a1fb21a57dab8ea705c2 2245 acl2_8.1dfsg-3.dsc
 36d12fa447d348b8b5a0bcb76f85acd6a39a8302c9e10ef880751baa3ad6c0b0 205156 acl2_8.1dfsg-3.debian.tar.xz
 bbc5c3b8709ade498f13436237dd437f1abe8c63fa4942eaeace04b3761b4b28 81037520 acl2-books-certs_8.1dfsg-3_all.deb
 4d98bfee39911b9aae72392e70f573f0edff700971dffab04570098eafb29b7c 13586280 acl2-books-source_8.1dfsg-3_all.deb
 1e61b6bae7c6aab6f2d176c00fe5f2f4d090ec81097da1d7f8a10d01c86b94ec 163433584 acl2-books_8.1dfsg-3_amd64.deb
 d63cfedcd3675a68a5c6fcc0a1363c064f8099f36b0a14f803c44bf1812f577d 413248 acl2-doc_8.1dfsg-3_all.deb
 26ee0b82fe1d350fc28fa6b27b0939a6c6880ac53ce91634e7ca491255581208 67760 acl2-emacs_8.1dfsg-3_all.deb
 76caf00ee0b9aaa4323ce31a5ddffdfc620d4de3b10b85d3c4b17030315de7eb 79404 acl2-infix-source_8.1dfsg-3_all.deb
 bb633333437caa651b57ada84558d21209f98bd445da835cb507653989545765 492388 acl2-infix_8.1dfsg-3_amd64.deb
 85f0838f0c1e859f56a1a30c77621d72d1b085849c15c11a8e0689335bedad13 3132484 acl2-source_8.1dfsg-3_all.deb
 b0f23a23198df0c8c7d7c7f946cb63be277bc2fdcf79b80c64598fe01910775a 13738 acl2_8.1dfsg-3_amd64.buildinfo
 eed9ded79d0510d248645dcb3fff77d3ec1e7e82825fb27b75a1e271b8534878 20437756 acl2_8.1dfsg-3_amd64.deb
Files:
 b65c7a8f5261bfa5291aba818fbdc3ec 2245 math optional acl2_8.1dfsg-3.dsc
 91912753ccb6a7c39f4d2f2241cbed8c 205156 math optional acl2_8.1dfsg-3.debian.tar.xz
 ac0f103309b974ed9746d86c7c0133ef 81037520 math optional acl2-books-certs_8.1dfsg-3_all.deb
 f620a95d37fa548a2b2ed71f33073bd7 13586280 math optional acl2-books-source_8.1dfsg-3_all.deb
 d409d31c766a7dfb163f79c1f5b8dc4b 163433584 math optional acl2-books_8.1dfsg-3_amd64.deb
 f42d77ed70c0a2a520da331e4eaa436c 413248 doc optional acl2-doc_8.1dfsg-3_all.deb
 40cc0baf61e3beb0b5dd00cd2ceb9d1d 67760 math optional acl2-emacs_8.1dfsg-3_all.deb
 57becfebb28cedf687b604d8d06d8065 79404 math optional acl2-infix-source_8.1dfsg-3_all.deb
 d40cf7b9dfaef3463c2024462296c935 492388 math optional acl2-infix_8.1dfsg-3_amd64.deb
 ca40b4317c398d89f636e34530c6857f 3132484 math optional acl2-source_8.1dfsg-3_all.deb
 43533de17e39530f637326dec6f87421 13738 math optional acl2_8.1dfsg-3_amd64.buildinfo
 244337d03d299de64fc8bc41ad34f51a 20437756 math optional acl2_8.1dfsg-3_amd64.deb

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAlymA4cACgkQuEXOUQ+b
cU0tIw//WorTL2R6LULYVk2MEeAFOlQmNWR9fvBfYV4yJ7s/zuj9iGCb7IhsmEet
l+a0ZmAtkStJ/aMO3m4sSqTLOmYSJMrtsVII2TpWQ4aJfJkhN13KuzcADGeuNZKl
1xIhT8ha5mHbrzHYhPd85j9tEoTKV/XEC0Vo0KLyeCsZ4qOGw+PyID9fo+hydgU3
g7i6lQjtxjePyeyg0bp6r9eVCbXSFZfxwSkZZ1DGnfJW06iMOvBzG9vs+V3vX8rl
jDKMadN4ksVsHghm2AqDyPZnDhPz8U79mkyDVDJ2DsBjjkZtxhOfa4pIbQsfzhId
4nZBD0BCOwPv4OddlKQceiZa2AEzk1pXdYj11VZ4ScEtAjf5BQg+6y8480D7Ncim
E80OTq+ylIUSvM/qpruVRdQLgbtfBNgw7MOqbgqtwE0raTNK8Q3iPfJVBxEEFWFb
hZr+5+DXOTUsGl4slcdxE3yacgM6y0zd82ovKJIavz4MSc8ADF/8f9WBIkICFZe5
SIVAE3L7YENgpRI6W6zt+/7ND5Q5WDziN2j7DRH9iuQzhiy09x5ID7HOq90rMzSm
u8rsSED0qR/ADlnvu9Bf5PQeW+cr82+U268JcFWhzNWN85B53I4K5u6y/aniP2EY
PtIHZiq2OBqh9i0doFoTUxSRVckCZIlE50IlvxyUysdTaTaDoug=
=53EZ
-----END PGP SIGNATURE-----