Accepted acl2 6.5-3 (source all amd64) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Fri, 24 Oct 2014 14:07:33 -0400
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-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
Changes:
acl2 (6.5-3) unstable; urgency=medium
.
* build-dep latest gcl
* abort centaur/vl/top cert if insufficient memory (mips autobuild)
Checksums-Sha1:
d0967ce1cc72ed4ece8b6e042c787226e1b5da86 1809 acl2_6.5-3.dsc
21c4b963f202077638327f866ce1f8be5ba37488 128424 acl2_6.5-3.debian.tar.xz
fc1060f1d12232e9510999d5b85b0dfefe749fa7 2764506 acl2-source_6.5-3_all.deb
34963ab40b0f3e9babd7022dd8ca149a0ee524f7 60918 acl2-emacs_6.5-3_all.deb
2c56ae90e14d5fc28e6b85bb56591d5d40b25cad 79482 acl2-infix-source_6.5-3_all.deb
a380b561a415eaf010f32a11f116e8ac1903e935 6957304 acl2-books-source_6.5-3_all.deb
1e4c19161134b1ae602000f1bc73748631e4ab0b 6499196 acl2-books-certs_6.5-3_all.deb
0f53106c7620475a4de4545ce588ea663c5c0d23 1671828 acl2-doc_6.5-3_all.deb
dc66c20c0a41dc24f621e0f28acb3c256729346f 15539560 acl2_6.5-3_amd64.deb
7254eb77b1837f72a8b9f39e1e746bb8d2b05ed7 152978 acl2-infix_6.5-3_amd64.deb
1e6eb2a27000325288a5ef93ce5552ea5c851c57 23200136 acl2-books_6.5-3_amd64.deb
Checksums-Sha256:
c5acbb4ced4793f47e3bc222d918117dc9b95446d58063e27dee4e7b8f56b4a8 1809 acl2_6.5-3.dsc
36b18992921da7294c94777beae488b8a6aff17f394434cd6adbc9c44673d869 128424 acl2_6.5-3.debian.tar.xz
3db9468ddd1bde43732242817b2b3f34ee2e7f3a151d997bcf0466892ca1b796 2764506 acl2-source_6.5-3_all.deb
b8069d375fb32d6ec4a2a3c4e948fb9860fc2a6f4a0f7269b33a9bad2a386756 60918 acl2-emacs_6.5-3_all.deb
bf31a01a1e37f08256a2222fcfd1811138af2566f5ad4b7a5bd274763070f59a 79482 acl2-infix-source_6.5-3_all.deb
b722f1dbb792b1fa93513582ea2ce963eaeed121102c9720651d4b0990f5b1a8 6957304 acl2-books-source_6.5-3_all.deb
7c1d52a305622cec725b03d07e3778862a27bedd46c239cfa36ce84604895794 6499196 acl2-books-certs_6.5-3_all.deb
b6a73eacbfb3750f7b86001677d10f57de36e6414ad997fc8a46c6d50ced6bfa 1671828 acl2-doc_6.5-3_all.deb
386752e916fa84bf711b54fb8ba56c06d282599a07bbf14642950c11b6af4fbc 15539560 acl2_6.5-3_amd64.deb
7cc83e308ff5cf98e02dd6ffe45e71954242898d879e58be9750376cf32e645a 152978 acl2-infix_6.5-3_amd64.deb
dc80ac8f11c9f801ebb6404d6b201c7244f42b7389c43cef11238cf96df28d85 23200136 acl2-books_6.5-3_amd64.deb
Files:
24b526f25340a64a0c18a3ea4e233b27 1809 math optional acl2_6.5-3.dsc
503ba91c79e818322af81421adafb425 128424 math optional acl2_6.5-3.debian.tar.xz
c80d8fd287d06b0faba983fe35826032 2764506 math optional acl2-source_6.5-3_all.deb
fad21270824bc6593ead513c3b4a399f 60918 math optional acl2-emacs_6.5-3_all.deb
47bc9c45ba89686064fd28823c0cdfc7 79482 math optional acl2-infix-source_6.5-3_all.deb
8e9ddb2a8482591875ad104952e2eb36 6957304 math optional acl2-books-source_6.5-3_all.deb
ec14885c44b9b14eae11e557012fceba 6499196 math optional acl2-books-certs_6.5-3_all.deb
64424f09fd58455e8bb5056996cf7f4a 1671828 doc optional acl2-doc_6.5-3_all.deb
957fa5c0e1ae36f60b8d6ba2d3f6b441 15539560 math optional acl2_6.5-3_amd64.deb
52a4a181d6b01c8f5cdedf95cb3f4b29 152978 math optional acl2-infix_6.5-3_amd64.deb
da7247fdfe147db0416beba564f337a8 23200136 math optional acl2-books_6.5-3_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iEYEARECAAYFAlRLl5MACgkQczG1wFfwRdwBoACgiA+SIHVgnlP2oei11KLyiUqd
+CkAn0U8jNYztSIheD3xwGYqGmnAjMPx
=ZZcq
-----END PGP SIGNATURE-----