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