Accepted acl2 4.1-2 (source all i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Thu, 23 Sep 2010 12:44:54 +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.1-2
Distribution: unstable
Urgency: low
Maintainer: Camm Maguire <camm@debian.org>
Changed-By: Camm Maguire <camm@debian.org>
Description:
acl2 - A Computational Logic for Applicative Common Lisp: main binary
acl2-books - A Computational Logic for Applicative Common Lisp: compiled libra
acl2-books-certs - A Computational Logic for Applicative Common Lisp: library certif
acl2-books-source - A Computational Logic for Applicative Common Lisp: library source
acl2-doc - A Computational Logic for Applicative Common Lisp: documentation
acl2-emacs - A Computational Logic for Applicative Common Lisp: emacs interfac
acl2-infix - A Computational Logic for Applicative Common Lisp: infix interfac
acl2-infix-source - A Computational Logic for Applicative Common Lisp: infix source
acl2-source - A Computational Logic for Applicative Common Lisp: source files
Closes: 597278
Changes:
acl2 (4.1-2) unstable; urgency=low
.
* build-dep latest gcl
* Bug fix: "FTBFS (powerpc): ls: cannot access
tiny.cert: No such file or directory", thanks to Philipp Kern (Closes:
#597278).
Checksums-Sha1:
162718d85aac190a647379a0b25456c07856b236 1194 acl2_4.1-2.dsc
e6231206f43b24c5fe207d0166d21146363735fd 17556 acl2_4.1-2.debian.tar.gz
7062ec0fb4065428842d9fcece9742eb423a29c1 3033562 acl2-source_4.1-2_all.deb
9eaf1cdc3d471aabc90f0adf10b0714a05dd2674 58472 acl2-emacs_4.1-2_all.deb
e330319c5a3388cf0f63ad8273146a36762266c4 89398 acl2-infix-source_4.1-2_all.deb
fb7cf0fd5b063f5d1d1f058e0f858ae03ac0992b 5309414 acl2-books-source_4.1-2_all.deb
2ee7ea6c66e53a8399f4d9b5becdf059f2481de5 2019226 acl2-books-certs_4.1-2_all.deb
ed1356f330c04cd47a483ccd645555907451f3d0 2837400 acl2-doc_4.1-2_all.deb
59ef0190f62bc61180fb35864c78b5b9b341efdf 21863902 acl2_4.1-2_i386.deb
c920ea843224e460f3f340bd0fe26b7d81419d70 390924 acl2-infix_4.1-2_i386.deb
b75365b6115a717253d71884cbc12bea6e6ba561 34182300 acl2-books_4.1-2_i386.deb
Checksums-Sha256:
f1d653c4e4a148cdeb1cbb6de32023e4acc620328f9da7d4bb1c71591e2ecb4b 1194 acl2_4.1-2.dsc
49186e8dd220ae474d004a57df342a69aa40e7e5dc5548165f1e6b2efdd78005 17556 acl2_4.1-2.debian.tar.gz
2070ba233a74af6bd2dff6326ad00561a7f7eb4a450111d92317f0ac86149688 3033562 acl2-source_4.1-2_all.deb
170aa305833a2206faf5746a1f469751b1fc23a5de9245f88251e49e94a4de3a 58472 acl2-emacs_4.1-2_all.deb
2175a703260cf933249b7167767eb3e2fd18263d164a0019fea3c5c73b775726 89398 acl2-infix-source_4.1-2_all.deb
2cc03d8872f0e00d019d8a4b5ca7a8ca5484db4f7fa4c05e61fcee22dc68c567 5309414 acl2-books-source_4.1-2_all.deb
64ac60c1484c5dcd151128f369493b0ee410c830667a27f737bed84a99323eb4 2019226 acl2-books-certs_4.1-2_all.deb
c26e49303c5b4b6709b45569d0e1b6508eff3cd2fcb8c6323925ec7d5a958356 2837400 acl2-doc_4.1-2_all.deb
418d40f65c751171ede611cf180b52c08e595b3df1eb5d13ef68ed3eab999326 21863902 acl2_4.1-2_i386.deb
f3768ed884cff19ab7f6ea9407c05af9fdc7b73248b931e55a3917795c89e956 390924 acl2-infix_4.1-2_i386.deb
988a96d816f80362a3bab455c55acf1f19faf8aa4c9e695c9463c9edc04ee944 34182300 acl2-books_4.1-2_i386.deb
Files:
744d05e6c858bccdc1463a06bde99d86 1194 math optional acl2_4.1-2.dsc
cae24030515d0d121af3537ced1d4a18 17556 math optional acl2_4.1-2.debian.tar.gz
20a3edc4aaa5c4682d4173972687c2e0 3033562 math optional acl2-source_4.1-2_all.deb
71724ad0651d6bfd14ecfbb2fd4905c1 58472 math optional acl2-emacs_4.1-2_all.deb
afc0ec96a0a8f2a84837e91833be96d1 89398 math optional acl2-infix-source_4.1-2_all.deb
0fdd2d2e413b65ad5bbaa692636977b9 5309414 math optional acl2-books-source_4.1-2_all.deb
c2efa3f956da2c0d0f2370ed3c5dbce6 2019226 math optional acl2-books-certs_4.1-2_all.deb
793ab79cd67790135af1585b59702bbc 2837400 doc optional acl2-doc_4.1-2_all.deb
78dde9510f71cdb59886fbf9105da236 21863902 math optional acl2_4.1-2_i386.deb
a384ca97590a846a34a1bdb448ef8184 390924 math optional acl2-infix_4.1-2_i386.deb
194f05039bbce6e66e577e9e57712f4d 34182300 math optional acl2-books_4.1-2_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAkyeUv4ACgkQczG1wFfwRdzdIACfV89OgXndgx7u4B54mWKe82OO
yX4AoI1csYY+nTtab+fycfQ/O2nD8kKo
=XlEM
-----END PGP SIGNATURE-----
Accepted:
acl2-books-certs_4.1-2_all.deb
to main/a/acl2/acl2-books-certs_4.1-2_all.deb
acl2-books-source_4.1-2_all.deb
to main/a/acl2/acl2-books-source_4.1-2_all.deb
acl2-books_4.1-2_i386.deb
to main/a/acl2/acl2-books_4.1-2_i386.deb
acl2-doc_4.1-2_all.deb
to main/a/acl2/acl2-doc_4.1-2_all.deb
acl2-emacs_4.1-2_all.deb
to main/a/acl2/acl2-emacs_4.1-2_all.deb
acl2-infix-source_4.1-2_all.deb
to main/a/acl2/acl2-infix-source_4.1-2_all.deb
acl2-infix_4.1-2_i386.deb
to main/a/acl2/acl2-infix_4.1-2_i386.deb
acl2-source_4.1-2_all.deb
to main/a/acl2/acl2-source_4.1-2_all.deb
acl2_4.1-2.debian.tar.gz
to main/a/acl2/acl2_4.1-2.debian.tar.gz
acl2_4.1-2.dsc
to main/a/acl2/acl2_4.1-2.dsc
acl2_4.1-2_i386.deb
to main/a/acl2/acl2_4.1-2_i386.deb
Reply to: