Accepted acl2 6.4-4 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Thu, 15 May 2014 18:49:32 +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.4-4
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.4-4) unstable; urgency=low
.
* parse and use parallel keyword in DEB_BUILD_OPTIONS
Checksums-Sha1:
3afb5af5dc3bd45d44c514a879f5c18a3e15ac96 1814 acl2_6.4-4.dsc
0bd37380c6dde17aad3aa109104d70689c210cd6 126732 acl2_6.4-4.debian.tar.xz
c97e3d2fd58aea09c8460b93665929df1daeff8c 2730890 acl2-source_6.4-4_all.deb
2a4c984e3fa23be217badb3c08ce714e64ef148e 59886 acl2-emacs_6.4-4_all.deb
e1268025e08ba45ad3c5e752c0bd16addb83b669 78170 acl2-infix-source_6.4-4_all.deb
a785434baacff8723272d0e224e077f203d10993 6499876 acl2-books-source_6.4-4_all.deb
9f8f319aa271053fac14f4a2f9ac17fa52587d4c 4268268 acl2-books-certs_6.4-4_all.deb
05d8cd71bbcc6b10809d995a3977d631ff8fbf21 1639474 acl2-doc_6.4-4_all.deb
083d339912540690cd63f0a5ad7496d993f42360 15295922 acl2_6.4-4_amd64.deb
cd67bd85ab2a84e1b343602dd3133b9275b28048 152122 acl2-infix_6.4-4_amd64.deb
ee3e38ec67839058a3466bd9b6db3068fdce9555 19638206 acl2-books_6.4-4_amd64.deb
Checksums-Sha256:
8382105a632d8234c27f111298a2d972519514eafefc6cb90554f69ace7cc47a 1814 acl2_6.4-4.dsc
67e8e4287faaafa2679de31e8b04a5284b06f7a65b988abee2ae89529314ed4f 126732 acl2_6.4-4.debian.tar.xz
bdcd0085147dc0b93dee12f0e158458aaaacbc8d2c7b7bccf1d4e51eac9a2479 2730890 acl2-source_6.4-4_all.deb
4595fe34db1c0a08764ea99494b9b04dad298bf13f83492055d1478bcb7c7397 59886 acl2-emacs_6.4-4_all.deb
64060291f81cb6af53aeea7b565b51fc18b01e3f2a36776249501ffe32e3c6bb 78170 acl2-infix-source_6.4-4_all.deb
c679b70ac90b681ba3a3879407c1b2d2b1eca521001eb4ea23fe29cd3390bd5b 6499876 acl2-books-source_6.4-4_all.deb
1d0ccf9336cbbd3f912ad01798a8110680241cabaedc2ed5349000d8a4a5bcde 4268268 acl2-books-certs_6.4-4_all.deb
c9fcdb7314099003f1cef19be0d6ac630bf2c510aa42dfed8dd5bbf59f748461 1639474 acl2-doc_6.4-4_all.deb
727f4d9b7f4794ca2c338590245f7fdf22c7629f3b01da34e8033f3765071ada 15295922 acl2_6.4-4_amd64.deb
8c9457310712008192458bcfe71962b9545f25a33c12fa070149f86d7187697c 152122 acl2-infix_6.4-4_amd64.deb
6dbebc667cacfc98fec32e074c17fe93588ddaed9a0443d2461f0b66971abe5d 19638206 acl2-books_6.4-4_amd64.deb
Files:
10ed2d5cce5e90daa346c7f467535697 2730890 math optional acl2-source_6.4-4_all.deb
4a3b6344c9d429a4eb124f4947459dc6 59886 math optional acl2-emacs_6.4-4_all.deb
1397c7b4f9ecffbfc4c4d55508bdc7fe 78170 math optional acl2-infix-source_6.4-4_all.deb
d9b19971d894b7282d6dacc16148d970 6499876 math optional acl2-books-source_6.4-4_all.deb
e2ae87237b2fa936a223434902b561e0 4268268 math optional acl2-books-certs_6.4-4_all.deb
26f7fc135828a4c251000e2fc26e96c6 1639474 doc optional acl2-doc_6.4-4_all.deb
e0b6a2fd2fab1d390e3e364e67c4a732 15295922 math optional acl2_6.4-4_amd64.deb
4ca829dc19a46cd3d71e272b7e0c6487 152122 math optional acl2-infix_6.4-4_amd64.deb
58a82b4e7ccc73587bb85732072057a7 19638206 math optional acl2-books_6.4-4_amd64.deb
7e8a69ff279de89b622edf166a7ba4ae 1814 math optional acl2_6.4-4.dsc
667ccfd234aadc2728a3efdbacb7ae5d 126732 math optional acl2_6.4-4.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iEYEARECAAYFAlN4KdAACgkQczG1wFfwRdzxHwCfW4JbdbexBuVpFUFhcYjDejCX
O3gAn2rpyK/wX3Y07fnQ+EnjB8xVc8NR
=qt4R
-----END PGP SIGNATURE-----