-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Mon, 14 Oct 2013 15:09:48 +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 kfreebsd-amd64 Version: 6.3-3 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-3) unstable; urgency=low . * set HOME to $(pwd) Checksums-Sha1: 631bbaaba2c78e57c3915d729bd6cf09ce2ce903 1749 acl2_6.3-3.dsc 1c704a886939ec68e32cee9f252225a2f27eb392 161421 acl2_6.3-3.debian.tar.gz 42f888e07a3dbe2883c9498e564466ce2cb9fa19 2732582 acl2-source_6.3-3_all.deb 34376745219fc4e71db4cc5358f66da82261f113 52590 acl2-emacs_6.3-3_all.deb fe2c55f15a57aa94535fe4b156ed54f63aa30ed8 77544 acl2-infix-source_6.3-3_all.deb ae67fb36b6b1c884edbe9feb4e31c21b0c53901e 5343540 acl2-books-source_6.3-3_all.deb f3f9dbc77e139af33642626ed51301bfd6052eef 3617824 acl2-books-certs_6.3-3_all.deb 1d24ea379321ab322d040be74e7727a7607a5c11 14416358 acl2-doc_6.3-3_all.deb 9ad5204628a5fce9127ec5ca81416891fec566a3 16445140 acl2_6.3-3_kfreebsd-amd64.deb 783faaf8255d62ca2e4c107b2a7da1c507dd04f5 148686 acl2-infix_6.3-3_kfreebsd-amd64.deb 29599e3bcfe5d04eb476be782ad64f19d8b815de 19182448 acl2-books_6.3-3_kfreebsd-amd64.deb Checksums-Sha256: 88298c7ba213c3297557c5b3947618159afeedab3c61c97de59bdb6a12da3a1c 1749 acl2_6.3-3.dsc b96849ba80e483133872feaee5130d85ed8c35fb508ea603054e89ecc0ad74a4 161421 acl2_6.3-3.debian.tar.gz 24b95340133c2527df923ea699d0b61187c2e93e33c21bb3226085a424f759b2 2732582 acl2-source_6.3-3_all.deb 57e7989037658ecdde9f1e7a89bbb482e0e222530de5091a0c5b3c336dcdb198 52590 acl2-emacs_6.3-3_all.deb 99120aa309926933592310a99d0fc4245a38896a8ca91f82d665324e7d59cd1a 77544 acl2-infix-source_6.3-3_all.deb fc1bf8af6016ea455fb629649443142f8d8056c7d32651c30ee9a70e14110a79 5343540 acl2-books-source_6.3-3_all.deb cb7a9fd60a2c4e2dceaa7abbc0c586c5c195a34ea33702e87d2a4224cf192f45 3617824 acl2-books-certs_6.3-3_all.deb 38acf0def48a926944682514ca1f1fe79177a9da60e2b20f14bd22923fcaa840 14416358 acl2-doc_6.3-3_all.deb ce2464eba441075acd82c69af26eea84cb60f44a038c70d6272e9b5a43945e16 16445140 acl2_6.3-3_kfreebsd-amd64.deb 0931914f3bb62db7f0808e32a4f96418469849597252d17e0100866f8bcef7c2 148686 acl2-infix_6.3-3_kfreebsd-amd64.deb 1e722316304285346e2592b937eb893c4f8626ea81f9b4e6c4c041e771835090 19182448 acl2-books_6.3-3_kfreebsd-amd64.deb Files: ee97b6fb2f158e2203803baed49676a1 1749 math optional acl2_6.3-3.dsc 59ab8bf27da69f1018324917d6297edd 161421 math optional acl2_6.3-3.debian.tar.gz 16af049179b4720011441f95d5dcf1b5 2732582 math optional acl2-source_6.3-3_all.deb 6dd21123513f9a6d4a90a83d35e261f6 52590 math optional acl2-emacs_6.3-3_all.deb 708c19fe2890aba1fb272e24dc281129 77544 math optional acl2-infix-source_6.3-3_all.deb ae95eb3d2b73f8ab29b6b587aeaafad1 5343540 math optional acl2-books-source_6.3-3_all.deb 2507bd5045281cff695f51502214db89 3617824 math optional acl2-books-certs_6.3-3_all.deb 2c6d8600c2f0da87209c1cc7f680fa8e 14416358 doc optional acl2-doc_6.3-3_all.deb 9cbe8fbbd5cf4a662d26b8f818e8d0a1 16445140 math optional acl2_6.3-3_kfreebsd-amd64.deb 0ead6cc5fe9b56c7768954763f5fe6e1 148686 math optional acl2-infix_6.3-3_kfreebsd-amd64.deb 71227fca49b2631f01d8c4e48d20a269 19182448 math optional acl2-books_6.3-3_kfreebsd-amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.14 (GNU/Linux) iEYEARECAAYFAlJdOC0ACgkQczG1wFfwRdyaJQCgl1IYyiJzZbZWrY0KI4kLynI1 GAkAn1TJ4p7Z4qdP7zFPU1X3KbCRpcYW =QBBr -----END PGP SIGNATURE-----
