Accepted acl2 6.3-4 (source all kfreebsd-amd64)
-----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-----