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