-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Tue, 15 Oct 2013 14:12:15 +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-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.3-4) unstable; urgency=low . * set HOME for mini-proveall make Checksums-Sha1: 6d8126a02724de2595faa206026c12c3c1739211 1749 acl2_6.3-4.dsc a913543c649af1dcb702ce86175438cc40c8a141 161472 acl2_6.3-4.debian.tar.gz db8f43c1254c94c0539720c8118b9f53abae6cd3 2732370 acl2-source_6.3-4_all.deb c9c83f3682c79a8aac1c9a23852425389edf8023 52606 acl2-emacs_6.3-4_all.deb 1bbb06577d3f932b1a64ca0b5b1edd61e355f7c8 77574 acl2-infix-source_6.3-4_all.deb d2987246b1786a92a46dd59a0144da47c4a67136 5343092 acl2-books-source_6.3-4_all.deb f2cd60739e3d00f0c73a24b776c03c228a5ba541 3617276 acl2-books-certs_6.3-4_all.deb 61b9fc1cdb022cdbef6d09d00aca27819d0c4eb4 14415276 acl2-doc_6.3-4_all.deb 53aa6a7f96a4e05e3c813acae425b5317e59e7a7 16455240 acl2_6.3-4_kfreebsd-amd64.deb 4e96eae336b50274a86a785cb34a18e1ed8c3657 151204 acl2-infix_6.3-4_kfreebsd-amd64.deb d601902a34e08b3639bbac541dc5187858883615 19180784 acl2-books_6.3-4_kfreebsd-amd64.deb Checksums-Sha256: 36589b05cbd7fdaeec3f0ceef2bc8419adec2987a0ea5e03f8a41ee8b8b5a223 1749 acl2_6.3-4.dsc cce805d5d156b7a81a75f37fae4c88a80240365c0a9083aa2c24767ed7830617 161472 acl2_6.3-4.debian.tar.gz f57e5d8a0ad4dba810ca6139c2ae5113b866c380d826e5a67bfeec71704cb708 2732370 acl2-source_6.3-4_all.deb 865d0b0e7ea7aa0ea3646d74582efa6ce21cf11e8494bd5433470b59fcf4d947 52606 acl2-emacs_6.3-4_all.deb 1a0abf1b50f5c7b11fc61369b32ddcda0877bae36a5fb91b1ec58259ee619bf5 77574 acl2-infix-source_6.3-4_all.deb c97e03e2bed524bbb3b471b48d8377cfd7aa7b2f30f9522d04b105eada24bff1 5343092 acl2-books-source_6.3-4_all.deb b043e2ec4687a6c5fb8d8aac3dd140d7e2b2f94562a619469662315280ce1df3 3617276 acl2-books-certs_6.3-4_all.deb d46d8859d44d759461edab4d2c975f02062ac0bfd22f2030e33dcd7518860880 14415276 acl2-doc_6.3-4_all.deb a2c7828d6b39f4b2f6376dc6eeef40ff818d6dc077610e6a1bdfb6930d948ea2 16455240 acl2_6.3-4_kfreebsd-amd64.deb cef63ebfedf28796069eeb9e6553de957111c7ea8e3c86083b055b67d5adfc2a 151204 acl2-infix_6.3-4_kfreebsd-amd64.deb fe4bbb64ce65bf28ab4093c35b7a32f941b7961dfe4e2452cdd8becf4ac4195d 19180784 acl2-books_6.3-4_kfreebsd-amd64.deb Files: 523465ebf487736466fb7235f70778e3 1749 math optional acl2_6.3-4.dsc 69fca5141eb1ce9e438003641640a6e4 161472 math optional acl2_6.3-4.debian.tar.gz 6320d6f727075d4bc83f0844581b9525 2732370 math optional acl2-source_6.3-4_all.deb a7e3285461d31ed3b2084fbe5db791e6 52606 math optional acl2-emacs_6.3-4_all.deb 7ba32244efb77bfbdf001e06098f79f7 77574 math optional acl2-infix-source_6.3-4_all.deb 1e473946b29be667592a3236f2d044a0 5343092 math optional acl2-books-source_6.3-4_all.deb 08370214b313c3335c8ef757c9adfebe 3617276 math optional acl2-books-certs_6.3-4_all.deb 6d146d7e2ce4045fee0f3f85073d1ae7 14415276 doc optional acl2-doc_6.3-4_all.deb 5b232bd1b776157b354fbcefb47ca737 16455240 math optional acl2_6.3-4_kfreebsd-amd64.deb 691e81738a8ae45a0fd59483905d680e 151204 math optional acl2-infix_6.3-4_kfreebsd-amd64.deb 6c9fcbf790fdf42bca728e5081aee02d 19180784 math optional acl2-books_6.3-4_kfreebsd-amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.14 (GNU/Linux) iEYEARECAAYFAlJfEXgACgkQczG1wFfwRdyAXwCeItjLt3gCx2ku9Ucy8nFxg75V SqYAn2J8epxlJHXqMixOrbRgI/DW+wRE =Nchh -----END PGP SIGNATURE-----
