-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Wed, 20 Aug 2014 00:37:33 +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: 6.5-2 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 (6.5-2) unstable; urgency=medium . * build-dep latest gcl Checksums-Sha1: 823dc060b833543a9f63c869783a6a09fb340a09 1807 acl2_6.5-2.dsc 1c1ab410249e9d8a6c36dd854b0d4dd3dfc5f968 128268 acl2_6.5-2.debian.tar.xz feff54ab6b54554323fdeefa1da6ec7214f2367c 2764672 acl2-source_6.5-2_all.deb b377e22df081a706e1055c4f3f67c250b0d8192b 60874 acl2-emacs_6.5-2_all.deb e7c12ab4e5d87fe5e582f1f3dcfbe149f4c5c88e 79456 acl2-infix-source_6.5-2_all.deb 2d9b0aae23fd8e5bbd097ec8a17074c334bc4f98 6956870 acl2-books-source_6.5-2_all.deb 5623fa8492d149ad7d3e66d8ab64d42e2ab671f1 6499338 acl2-books-certs_6.5-2_all.deb ad2a4ad4a71cb18a7d8e29b601856626d6bd88ec 1671882 acl2-doc_6.5-2_all.deb 2a65f9b6b8101009fbc0f75d76f553818d6a8e61 16320288 acl2_6.5-2_amd64.deb 233a5879572acc1f1166c8df3fe3b5facdac3c15 150020 acl2-infix_6.5-2_amd64.deb 8e609b5018bd00a1582b7485f776723f26c92b72 23132372 acl2-books_6.5-2_amd64.deb Checksums-Sha256: f78b8e30cf09f4a4720feb490acaf8171cada45f07f8d7675000dd07a0ac5ded 1807 acl2_6.5-2.dsc a0858f9ae376186e143a8e38f41d53df7b9a13f2db2fd72713d2558dd727791d 128268 acl2_6.5-2.debian.tar.xz 8b5833161ec9291961a19761065179981184cdef1fa6cdab164aff956b824fbe 2764672 acl2-source_6.5-2_all.deb c73216652dcd8e8ba2902f597e6bfd8053a401ba9acdfea383c379666cadbadd 60874 acl2-emacs_6.5-2_all.deb 91733463346f45df64138fc69b5011d9ef4eaa16ae3e34507a02798fa8d151f1 79456 acl2-infix-source_6.5-2_all.deb a2f92cc6cf5246077536dee1885977f47ac1dab6e446514c1cd3e2fa22813aa6 6956870 acl2-books-source_6.5-2_all.deb 894caace37494605ebf030d9f500f54dea3a1df5a740e1317b922b827db6923e 6499338 acl2-books-certs_6.5-2_all.deb 8f2a42009554a576e5962b3d3605600d62812f7869ca96ce266530f81b799fc2 1671882 acl2-doc_6.5-2_all.deb f6532e78b76f571de015a9ebe97eb2927c9e7b8190e436f148843d24a30f4f4a 16320288 acl2_6.5-2_amd64.deb f9a7656c8a33b95b6ffdf8f3d69c4f2cfbddec7ebda5b037601bea9a375ce43d 150020 acl2-infix_6.5-2_amd64.deb b8558bc7b65716803afc65d29acb735fff08f9ce6e216a17d0db3fa42349a6ae 23132372 acl2-books_6.5-2_amd64.deb Files: 6e8456ba27bcaf8a6f77e332b5d54f46 2764672 math optional acl2-source_6.5-2_all.deb ae368eb3071d4f6fd1884505e152ebb1 60874 math optional acl2-emacs_6.5-2_all.deb df3a64b8b11a04947cdee483f408ef9f 79456 math optional acl2-infix-source_6.5-2_all.deb 00303bd978e9f2697a3116896833a51f 6956870 math optional acl2-books-source_6.5-2_all.deb 5baeca9825eed7c3ca43173044c61b42 6499338 math optional acl2-books-certs_6.5-2_all.deb a4a6b55e03ac771db1bc3625e6e87478 1671882 doc optional acl2-doc_6.5-2_all.deb 9e5b178997282c6ade0ddda6b5d0853a 16320288 math optional acl2_6.5-2_amd64.deb e4943b6cc3009cc1c0fc5ee8c3fcef6c 150020 math optional acl2-infix_6.5-2_amd64.deb 74afbdd0bd568e9e47b2c75a6ffa52e0 23132372 math optional acl2-books_6.5-2_amd64.deb 653b40349fedf0bc18af8d1a2e96d0d9 1807 math optional acl2_6.5-2.dsc e4c5adbad2cee8669e8c54483d8c2eeb 128268 math optional acl2_6.5-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iEYEARECAAYFAlQNvTcACgkQczG1wFfwRdyrMQCeJYf1umjgFje5jKx1sOeGsb2V UWQAn2IuRrsNtYDDt/QzG23xjYnfDR65 =8+Ba -----END PGP SIGNATURE-----
