-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Wed, 5 Oct 2005 19:15:41 +0000 Source: acl2 Binary: acl2-books-certs acl2-doc acl2 acl2-infix-source acl2-infix acl2-source acl2-books-source acl2-books acl2-emacs Architecture: source all i386 Version: 2.9.3-5 Distribution: unstable Urgency: low Maintainer: Camm Maguire <camm@enhanced.com> Changed-By: Camm Maguire <camm@enhanced.com> 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 (2.9.3-5) unstable; urgency=low . * build depend on >= gcl 2.6.7-8 for 64bit fasd data/fixnum fix Files: 538f29375b799e39ae3ccf33a67df301 804 math optional acl2_2.9.3-5.dsc 1c1a0526941bed4d872815fd0fd87a65 19826 math optional acl2_2.9.3-5.diff.gz 1d17fbf8e22fd72b3bd55410b33f298e 2113566 math optional acl2-source_2.9.3-5_all.deb dea1959c766d4d450d6bff0ab708cf19 49292 math optional acl2-emacs_2.9.3-5_all.deb 74db1571b7b1ce3e36c95262ad6cedb8 84774 math optional acl2-infix-source_2.9.3-5_all.deb 21aee7df83ce38c338f3b873eccfe2d6 1297858 math optional acl2-books-source_2.9.3-5_all.deb 1727734a13a87c72c807946c1b0ebdb7 380762 math optional acl2-books-certs_2.9.3-5_all.deb cb7df8ccb4fccbb93d7e7d372ea6d539 1864514 doc optional acl2-doc_2.9.3-5_all.deb 835baf77a84a42e314876f93a26e0c9a 14111798 math optional acl2_2.9.3-5_i386.deb a5d640d606403f8efeae751b8be53435 173438 math optional acl2-infix_2.9.3-5_i386.deb 984be5d0e87bf091e0c1eacb7c4755e0 859626 math optional acl2-books_2.9.3-5_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.2 (GNU/Linux) iD8DBQFDRDryczG1wFfwRdwRApsmAKCr7EJRuvwcBFmfLxI2KXmQe2ftfwCfbnVP a9uODfrgpDpUQC+kJaKaUOE= =DiK6 -----END PGP SIGNATURE----- Accepted: acl2-books-certs_2.9.3-5_all.deb to pool/main/a/acl2/acl2-books-certs_2.9.3-5_all.deb acl2-books-source_2.9.3-5_all.deb to pool/main/a/acl2/acl2-books-source_2.9.3-5_all.deb acl2-books_2.9.3-5_i386.deb to pool/main/a/acl2/acl2-books_2.9.3-5_i386.deb acl2-doc_2.9.3-5_all.deb to pool/main/a/acl2/acl2-doc_2.9.3-5_all.deb acl2-emacs_2.9.3-5_all.deb to pool/main/a/acl2/acl2-emacs_2.9.3-5_all.deb acl2-infix-source_2.9.3-5_all.deb to pool/main/a/acl2/acl2-infix-source_2.9.3-5_all.deb acl2-infix_2.9.3-5_i386.deb to pool/main/a/acl2/acl2-infix_2.9.3-5_i386.deb acl2-source_2.9.3-5_all.deb to pool/main/a/acl2/acl2-source_2.9.3-5_all.deb acl2_2.9.3-5.diff.gz to pool/main/a/acl2/acl2_2.9.3-5.diff.gz acl2_2.9.3-5.dsc to pool/main/a/acl2/acl2_2.9.3-5.dsc acl2_2.9.3-5_i386.deb to pool/main/a/acl2/acl2_2.9.3-5_i386.deb -- To UNSUBSCRIBE, email to debian-devel-changes-REQUEST@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
