Back to acl2 PTS page

Accepted acl2 6.5-2 (source all amd64) into unstable



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