-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Thu, 08 Jul 2010 16:14:04 +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.0-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 Changes: acl2 (4.0-2) unstable; urgency=low . * Work around absence of HOME in buildd environments. Checksums-Sha1: f8eaa99a3d704f7a7a78d003496f5725923ced60 1168 acl2_4.0-2.dsc 2dfee94acc26a4c635482762045e13be65c42ef1 15632 acl2_4.0-2.diff.gz c650a6edeb2f101c2b82031dcd6fdf50b98c9ea0 3026166 acl2-source_4.0-2_all.deb f46cec9806ffd2b683b24f2ae4a521d3ac07717d 58084 acl2-emacs_4.0-2_all.deb b16c2b860bf4080c2dc9f7615c3fa52e6516edf7 89262 acl2-infix-source_4.0-2_all.deb 9e0294a4a8874beb047515206a9552505fcc1e66 5286492 acl2-books-source_4.0-2_all.deb 6cb4625c2a1a693f7ec75ecc3161c362ac14a1fa 2007530 acl2-books-certs_4.0-2_all.deb 40e06915ba556f2ed8a67c16abb2c81a7a28338e 2826062 acl2-doc_4.0-2_all.deb a88396277c3a5b683a20926e9c926ae1c4a3c400 22363826 acl2_4.0-2_i386.deb 1ce3371ea5effce9688dc14f07aabb980b51bd80 390350 acl2-infix_4.0-2_i386.deb 11fed4b55aaa35a0ca6e3a17088aeb7fa4db4f60 34005420 acl2-books_4.0-2_i386.deb Checksums-Sha256: 02fb4ce5d236702fd9f5c3a35aea8b36d67a955b6d1989b4367afab7f4b24b91 1168 acl2_4.0-2.dsc ebbef55bdc147eb4db950abbb34c008e4164975827564c086b4402c0a5cc363a 15632 acl2_4.0-2.diff.gz 4596d956265a9c22beb965660199a6f6cc61c6876cfe525c509d4c38f50f63e3 3026166 acl2-source_4.0-2_all.deb ea300fc64376df89a9160bacfc4afc40519931cec2e9b0bd817ff5e1f966776d 58084 acl2-emacs_4.0-2_all.deb 83a3077a8e1611ee8b1811e6e74a19cd3f9a47c648571c7a69561c1de43a016d 89262 acl2-infix-source_4.0-2_all.deb 7ca83190797ec889616f4daa1f087865a4844f376c6e955f91c2a40c693678c4 5286492 acl2-books-source_4.0-2_all.deb 15637a70f86d5ffad57e5a0edcd34a5742f697f06723bc4b2e92b5a73095a090 2007530 acl2-books-certs_4.0-2_all.deb 8d856f1990877a9667a47c7ea1a79799795a9ce3c905bcc915b2b8e3c65d5c1c 2826062 acl2-doc_4.0-2_all.deb 6ff554d5e7b3448191d6297e05249b71abfb4d88065600978f4fe93b911bbb29 22363826 acl2_4.0-2_i386.deb 87906c1bd110c099cce9a23dcda36edd7b52df0b7966418ac3a736dbcbe2e911 390350 acl2-infix_4.0-2_i386.deb c2045a5d2adf285999dd25bda4c1a5fbd7bdc1b343296e0c5bf6cb16ffa2973e 34005420 acl2-books_4.0-2_i386.deb Files: b36582fbb8eef4c5120ebcddc227bd0b 1168 math optional acl2_4.0-2.dsc aaf0a18b0dbe26887d132a7dafe93bf3 15632 math optional acl2_4.0-2.diff.gz e028676604fbe3604cca00d63baba420 3026166 math optional acl2-source_4.0-2_all.deb 5d05cba2e681d72540030a5289ece973 58084 math optional acl2-emacs_4.0-2_all.deb 4553405569152ebd3f261c1a833b71ed 89262 math optional acl2-infix-source_4.0-2_all.deb ca1fda02c53c20ac8a32291a5a512796 5286492 math optional acl2-books-source_4.0-2_all.deb c4c84272a8d5efe9a63e0b657cc17d23 2007530 math optional acl2-books-certs_4.0-2_all.deb d7a4173a78188e412070c6ed68b41747 2826062 doc optional acl2-doc_4.0-2_all.deb 6db51e6f62053159ba923bc4475d17fe 22363826 math optional acl2_4.0-2_i386.deb 2c02666ce91396a05154141d64648909 390350 math optional acl2-infix_4.0-2_i386.deb ef864ca2ae4ba74869c2ecac82484caf 34005420 math optional acl2-books_4.0-2_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkw2IgkACgkQczG1wFfwRdziwACghHru6xzluj4DN6l+k/3kPyiU 9rsAoIIepKWuqPpoiuHyGRVVUZOxG7Vq =/479 -----END PGP SIGNATURE----- Accepted: acl2-books-certs_4.0-2_all.deb to main/a/acl2/acl2-books-certs_4.0-2_all.deb acl2-books-source_4.0-2_all.deb to main/a/acl2/acl2-books-source_4.0-2_all.deb acl2-books_4.0-2_i386.deb to main/a/acl2/acl2-books_4.0-2_i386.deb acl2-doc_4.0-2_all.deb to main/a/acl2/acl2-doc_4.0-2_all.deb acl2-emacs_4.0-2_all.deb to main/a/acl2/acl2-emacs_4.0-2_all.deb acl2-infix-source_4.0-2_all.deb to main/a/acl2/acl2-infix-source_4.0-2_all.deb acl2-infix_4.0-2_i386.deb to main/a/acl2/acl2-infix_4.0-2_i386.deb acl2-source_4.0-2_all.deb to main/a/acl2/acl2-source_4.0-2_all.deb acl2_4.0-2.diff.gz to main/a/acl2/acl2_4.0-2.diff.gz acl2_4.0-2.dsc to main/a/acl2/acl2_4.0-2.dsc acl2_4.0-2_i386.deb to main/a/acl2/acl2_4.0-2_i386.deb
