Accepted acl2 4.3-2 (source all i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Fri, 20 Jan 2012 14:18:55 +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 i386
Version: 4.3-2
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: 647919
Changes:
acl2 (4.3-2) unstable; urgency=low
.
* remove special NO_STRIP for ppc
* multiply-stacks by 4 on #-native-reloc
* Bug fix: "Please add support for build-arch and build-indep targets",
thanks to Niels Thykier (Closes: #647919).
Checksums-Sha1:
40baa2181c23c89b65f465a75f786047cb463830 1478 acl2_4.3-2.dsc
b3cfec595ae4622b4f51c6be980cb3e007586f2c 17942 acl2_4.3-2.debian.tar.gz
63b66d0647f103df3dabd2c1259ea7e83df40844 3287706 acl2-source_4.3-2_all.deb
92ffa5c7a661f30da9344f62e758694b395bae48 59150 acl2-emacs_4.3-2_all.deb
015f21615adc5d142d645d71ab326e42bd41ee79 89704 acl2-infix-source_4.3-2_all.deb
7abe5f40e172f6ddcdeba3b7ae444681e6690649 6460242 acl2-books-source_4.3-2_all.deb
92628e249cbb7bd34fdc2d7b0667986538b08b1a 4424678 acl2-books-certs_4.3-2_all.deb
70b7daef098f29ff3c86d407c68f04c0cc2d27a3 360400 acl2-doc_4.3-2_all.deb
d186afbe78d593b4b43f2214ef3eab232bfbea91 24333534 acl2_4.3-2_i386.deb
abed6b98103487965b2f4c7e0f08e0d02f390dc8 182438 acl2-infix_4.3-2_i386.deb
1a734b089ca186bec56c82588e0782b89b4a03ea 13895614 acl2-books_4.3-2_i386.deb
Checksums-Sha256:
81bf6022e2798c76596277f91ca62ce1b28992048b4081fad0d283e60acde746 1478 acl2_4.3-2.dsc
dffcc36c2220534b47709ddb9baa739ffe5a9cae4d9a45822f8d38c8159d9b22 17942 acl2_4.3-2.debian.tar.gz
a11a60b28c0753f5660ca6c1e316f590ac94cb68303d02512a536264977aeabd 3287706 acl2-source_4.3-2_all.deb
0bb77d8b23e69be8df23777da875fe0a92126c3928b7dc5da6635de6b39e63b5 59150 acl2-emacs_4.3-2_all.deb
b70507e4c185570a38981339a8fedd71b543a0d278c0f93ea654d4a4c33e71bb 89704 acl2-infix-source_4.3-2_all.deb
112dd1659c81da4f4e3b8c2908f6ed16b6e487561b45aefeaa8ff89de55d0b9c 6460242 acl2-books-source_4.3-2_all.deb
82ed9cc2065355e9518456ca508d19f4b4f25456caf2ce36bcffab57cedd096c 4424678 acl2-books-certs_4.3-2_all.deb
c3f9f321c5b647564d73fffeee5d1e7266c22348a6da07cabdcf2e1ac9ca00f7 360400 acl2-doc_4.3-2_all.deb
d44c43ff7b75c2109b77f5be6a76f59c647f21aec86aa641dde80f262387f981 24333534 acl2_4.3-2_i386.deb
f3dbd503b6890897529a1a8c8ed10e0c6dd113c70ecaf6da21755651d2a59465 182438 acl2-infix_4.3-2_i386.deb
c4bc35abf374ef2583f872ad7e4ea9fc73513cedee9afdd5856872f523db95aa 13895614 acl2-books_4.3-2_i386.deb
Files:
f48408f446ed4ad5b5f2445b1d6286f7 1478 math optional acl2_4.3-2.dsc
56915ee4c5ffcc12402269cfc1e67a06 17942 math optional acl2_4.3-2.debian.tar.gz
f9e44b6ddc9b84bb7af494f5d7676176 3287706 math optional acl2-source_4.3-2_all.deb
820a713174592604ca544ebcbfd9151e 59150 math optional acl2-emacs_4.3-2_all.deb
480072ee1d2abe29781f300700cda39f 89704 math optional acl2-infix-source_4.3-2_all.deb
c7378b3c0e01b6106d49470ebd7fbc7f 6460242 math optional acl2-books-source_4.3-2_all.deb
db114bb07167afdfaeadab1748222ac5 4424678 math optional acl2-books-certs_4.3-2_all.deb
32514cd483ee4526278d6078b3bc1368 360400 doc optional acl2-doc_4.3-2_all.deb
5e46abf42c3cd2bbf926e0c5509eb323 24333534 math optional acl2_4.3-2_i386.deb
7c1a6b4d9002ba25e7481002f76c4087 182438 math optional acl2-infix_4.3-2_i386.deb
e5ad412d32c0a2a5a477c29806b77c9d 13895614 math optional acl2-books_4.3-2_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iEYEARECAAYFAk8bLpwACgkQczG1wFfwRdzcXACeMCUjLNNsevK3HZN20jaJyL+E
m2MAoJsBybZzmxeCx9lESNZ7et8FA+wJ
=D/nv
-----END PGP SIGNATURE-----
Accepted:
acl2-books-certs_4.3-2_all.deb
to main/a/acl2/acl2-books-certs_4.3-2_all.deb
acl2-books-source_4.3-2_all.deb
to main/a/acl2/acl2-books-source_4.3-2_all.deb
acl2-books_4.3-2_i386.deb
to main/a/acl2/acl2-books_4.3-2_i386.deb
acl2-doc_4.3-2_all.deb
to main/a/acl2/acl2-doc_4.3-2_all.deb
acl2-emacs_4.3-2_all.deb
to main/a/acl2/acl2-emacs_4.3-2_all.deb
acl2-infix-source_4.3-2_all.deb
to main/a/acl2/acl2-infix-source_4.3-2_all.deb
acl2-infix_4.3-2_i386.deb
to main/a/acl2/acl2-infix_4.3-2_i386.deb
acl2-source_4.3-2_all.deb
to main/a/acl2/acl2-source_4.3-2_all.deb
acl2_4.3-2.debian.tar.gz
to main/a/acl2/acl2_4.3-2.debian.tar.gz
acl2_4.3-2.dsc
to main/a/acl2/acl2_4.3-2.dsc
acl2_4.3-2_i386.deb
to main/a/acl2/acl2_4.3-2_i386.deb