Accepted acl2 6.4-3 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Fri, 09 May 2014 15:38: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 amd64
Version: 6.4-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
Closes: 747286
Changes:
acl2 (6.4-3) unstable; urgency=low
.
* set HOME in rule to build saved_acl2.c
* Bug fix: "not buildable on buildds on some architectures", thanks to
Ivo De Decker (Closes: #747286).
Checksums-Sha1:
abb9fef90499dac10ec5668c2111c26da39ba93d 1814 acl2_6.4-3.dsc
d8f1cc125e08bd20721b0ee8b2a3ec69d75cc2bb 126628 acl2_6.4-3.debian.tar.xz
5c6fd7c1308d19efb27b75d07b0cf167ce103624 2730514 acl2-source_6.4-3_all.deb
4fb48432ae099fe1aa5bbb19e9295e02239514a7 59826 acl2-emacs_6.4-3_all.deb
2e2a341ff124a002a621d54d4be5707fe78689cf 78106 acl2-infix-source_6.4-3_all.deb
9a27ecb953b3fcec90e4a06aa6d2fa437d3a59bf 6499790 acl2-books-source_6.4-3_all.deb
a724d5917b7eb0e994ffc85ede507ddddc5c7f6d 4268440 acl2-books-certs_6.4-3_all.deb
4f7738fc88c9775ce43f837c562f43983d345de8 1639260 acl2-doc_6.4-3_all.deb
64593efc8c64e390ad3c9c4ca07766222cdeff4b 15263470 acl2_6.4-3_amd64.deb
cb46d981f2415c1a187cb410ba85a470ce294391 151120 acl2-infix_6.4-3_amd64.deb
69cad5a5ee7449d23fbc10d0f6a0d804faf6ec90 19621762 acl2-books_6.4-3_amd64.deb
Checksums-Sha256:
5d3cd23d4db3199234671764d350685aff341678bad45c8ae105c7823de207e1 1814 acl2_6.4-3.dsc
6141a3f5c8696a697e96c2650ea1b9be688861f2caa80a0950cffa8c32b526d1 126628 acl2_6.4-3.debian.tar.xz
a39fe1e00ea677e4498f14288fc5ec46d049a8c1c9a287287e8b67e879daf640 2730514 acl2-source_6.4-3_all.deb
d536608c385735fb8e8eac0dd33ba60c11c9dc3ac0fb71142e8c44979cea6dec 59826 acl2-emacs_6.4-3_all.deb
7a8fdd72e9608653ed7ea8508437f280d1f8e822ab99294a613988299cca989f 78106 acl2-infix-source_6.4-3_all.deb
4a35804ab2b5db7fa5f1579d71f85780adeca34e4e0cac9b23f8b5517feb7812 6499790 acl2-books-source_6.4-3_all.deb
861af255aa989373e4e9750a65c47d0fab0621f7d45b12c12b78a745b26fa184 4268440 acl2-books-certs_6.4-3_all.deb
d387940becad67b90dc38bd68a181cd39b7d82915515fbd1e0b358e6abe470b4 1639260 acl2-doc_6.4-3_all.deb
a0054bda41d12625565d4bacc64facc81e1892e36e4e1a7e4328052313adda03 15263470 acl2_6.4-3_amd64.deb
1c541cb3b84dfe8aff968ea6aeb09e7526c83009f01731590c1cbba9f3783950 151120 acl2-infix_6.4-3_amd64.deb
c81749bde4023103c2d6d0fe9cf3613a774084ba42112b5593b98d3bb185ac65 19621762 acl2-books_6.4-3_amd64.deb
Files:
bc186c65fe8f93ac82f7556690d4010f 2730514 math optional acl2-source_6.4-3_all.deb
903b09f89184d7b626738f696660658d 59826 math optional acl2-emacs_6.4-3_all.deb
fb44aca4588a54ffa7c3d727c505f6f0 78106 math optional acl2-infix-source_6.4-3_all.deb
00bf1dce38daba73cff1fde8fb161482 6499790 math optional acl2-books-source_6.4-3_all.deb
91b98064443f4a6c44c9c403a5d55c12 4268440 math optional acl2-books-certs_6.4-3_all.deb
a3c25e47ca259f362fa8a146eec986f1 1639260 doc optional acl2-doc_6.4-3_all.deb
648b53cea6fe636425eac7c5630e6cd0 15263470 math optional acl2_6.4-3_amd64.deb
3e3a1ba6fb0aef485302de074a6d423a 151120 math optional acl2-infix_6.4-3_amd64.deb
3c78f522281df651e257adb2b74a4a3f 19621762 math optional acl2-books_6.4-3_amd64.deb
30d28162208847f16cb84e70d26944a1 1814 math optional acl2_6.4-3.dsc
a2741a86484eaad83a9cccfb9c4a2256 126628 math optional acl2_6.4-3.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iEYEARECAAYFAlNwI30ACgkQczG1wFfwRdzh+QCePXud49PPNcJMs65dCREoFh8i
oeUAn2VmcKrmCt8wtKffwbyhVPz7RMb0
=AhId
-----END PGP SIGNATURE-----