Accepted acl2 6.3-6 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Fri, 15 Nov 2013 16:11:57 +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.3-6
Distribution: unstable
Urgency: low
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.3-6) unstable; urgency=low
.
* rebuild against latest gcl
Checksums-Sha1:
60cd76e4d3dec4d57285437a3504d2978ed40e2d 1749 acl2_6.3-6.dsc
d526cd7e82aaf509b0ccc6d127bfaa2d9cac4367 161447 acl2_6.3-6.debian.tar.gz
523ebddd8379aecfff2aca79b04c252072dcf7b4 2740628 acl2-source_6.3-6_all.deb
7798ea74bede89dc0b699d8c89371fb8d822a1f8 52802 acl2-emacs_6.3-6_all.deb
e21ec0c59811cee9e97f55c919f3c0884f99c85c 77592 acl2-infix-source_6.3-6_all.deb
fa2dc4e4550052f70c71cf83d394fc07e648e5ca 5431616 acl2-books-source_6.3-6_all.deb
3c83051f08d2cc76d63c8e1a8bdc682375c148e9 3624394 acl2-books-certs_6.3-6_all.deb
d349231fccf72eaf9f1f6b0a122becee42e761ac 12093096 acl2-doc_6.3-6_all.deb
05faf85e3e989357adaf3a2cf32c3c2066692059 16494836 acl2_6.3-6_amd64.deb
d90fed1e1565c148df4c94a643171c81826d33ef 150990 acl2-infix_6.3-6_amd64.deb
3dab9c32b8090049c27cce7c26df64212d470750 19291888 acl2-books_6.3-6_amd64.deb
Checksums-Sha256:
83f003c190bfcae2c0b982137981f4c5c2926d9884efac3d2ef0ab0fcc770895 1749 acl2_6.3-6.dsc
5b79115d2eb08cc5c6ec167d7f2937c6125e104e644a6bce0190f5ebd7d65888 161447 acl2_6.3-6.debian.tar.gz
b350cb1cce73d2409c7a9eeca9e69b67e2b06175a7cc14e4bc34a6e90729aa62 2740628 acl2-source_6.3-6_all.deb
2ba87d226ea1416a6ce197835ac54741edb411ad8900d3684af1989ad2dcdd18 52802 acl2-emacs_6.3-6_all.deb
3bddc9f218a02019a324abd26611738f985d4a767460c63b1389fba8e9396ebf 77592 acl2-infix-source_6.3-6_all.deb
cd72e18c66532c0729e7bd38943eb8870f048b67da3de5513acb404a1146c7d9 5431616 acl2-books-source_6.3-6_all.deb
6740f5bc3499693b9d3a40bad7a87a9908239fb7ac6274b9925d9dce4b5b49f5 3624394 acl2-books-certs_6.3-6_all.deb
e1032c938603f74383db3aa608a995679115f1775376743137cdd0259efb20b0 12093096 acl2-doc_6.3-6_all.deb
d6a7475f6690bf820012aa16a22830413a5847714c05a07e099f30f73c8288d8 16494836 acl2_6.3-6_amd64.deb
5f909f62006fe503761b20063be3868da387d059add361dd8a1dcd4a7b0fbfc4 150990 acl2-infix_6.3-6_amd64.deb
0bade658ecdd75d254b083cf988b309052367a445a7d44999fe235c8f66997fa 19291888 acl2-books_6.3-6_amd64.deb
Files:
acf5d3b0b3ab5e83405f407ce955a305 1749 math optional acl2_6.3-6.dsc
2d39d9ce54071a8cf21750dfe45e6e0a 161447 math optional acl2_6.3-6.debian.tar.gz
e544465b69eae6ca89841889aa4cb970 2740628 math optional acl2-source_6.3-6_all.deb
7d58180135c156b34b1078a80ab6fea5 52802 math optional acl2-emacs_6.3-6_all.deb
6cd1969be66e70606540b1861f3d346d 77592 math optional acl2-infix-source_6.3-6_all.deb
787eec32952f6a2a73714b966de11f7e 5431616 math optional acl2-books-source_6.3-6_all.deb
5737acd006a11f0cf12aa4bcbeb6e709 3624394 math optional acl2-books-certs_6.3-6_all.deb
3ccf91ad4b394583b1159d1cdb9fbc8c 12093096 doc optional acl2-doc_6.3-6_all.deb
539c3933435e2d6863cd789863c8df40 16494836 math optional acl2_6.3-6_amd64.deb
fa5176e6547e7c15e6c42df52c225f6f 150990 math optional acl2-infix_6.3-6_amd64.deb
7daf1d83c910880c9bdcfd7b30b9ced1 19291888 math optional acl2-books_6.3-6_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.15 (GNU/Linux)
iEYEARECAAYFAlKH+I4ACgkQczG1wFfwRdxTAgCgh0gGx1wnc66WaCcd3TNoGjt3
TXwAnRcSUAbdlAgLyQLm5jWS9h/qPUEz
=5UIB
-----END PGP SIGNATURE-----