-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Mon, 31 May 2004 18:32:56 +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.8-4 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 Closes: 251695 Changes: acl2 (2.8-4) unstable; urgency=low . * Bug fix: "FTBFS: missing Build-Depends binutils-dev", thanks to Goswin von Brederlow (Closes: #251695). Make build-depends on binutils-dev valid for all platforms Files: 1759e92d91c7bffb54e360fc1f3f5183 795 math optional acl2_2.8-4.dsc fb0d10bdc9e2768a5dda18e7104df3b1 12290 math optional acl2_2.8-4.diff.gz 98a7375ef660c9f1ac2d5a376874600c 2029510 math optional acl2-source_2.8-4_all.deb 11dae41887c688394bc32be627fc08eb 64248 math optional acl2-emacs_2.8-4_all.deb 9f5c6421662899b7b2968f12fdf397ad 83724 math optional acl2-infix-source_2.8-4_all.deb 590f8e306af24a3cade3e6ff89d38505 1227496 math optional acl2-books-source_2.8-4_all.deb 3cd5f2b1766c62cebd26a35f5790fbb5 294484 math optional acl2-books-certs_2.8-4_all.deb 19a0b14a990cda54dca9919337bd66b2 1657504 doc optional acl2-doc_2.8-4_all.deb 2f6bfab7cd004efca064e6c3d4eaeb10 13241298 math optional acl2_2.8-4_i386.deb 98a73ea3fdad519f55a82976b013e4cf 180978 math optional acl2-infix_2.8-4_i386.deb f2d314263a133cc5fd2ef45d184fa01f 894692 math optional acl2-books_2.8-4_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.4 (GNU/Linux) iD8DBQFAu5aoczG1wFfwRdwRAoSiAKC/V3PBJDulS3b4C57ni2R1huudrACeO1aQ vrBQd8tj53e/Cz6EtNpKAc8= =5AQ3 -----END PGP SIGNATURE----- Accepted: acl2-books-certs_2.8-4_all.deb to pool/main/a/acl2/acl2-books-certs_2.8-4_all.deb acl2-books-source_2.8-4_all.deb to pool/main/a/acl2/acl2-books-source_2.8-4_all.deb acl2-books_2.8-4_i386.deb to pool/main/a/acl2/acl2-books_2.8-4_i386.deb acl2-doc_2.8-4_all.deb to pool/main/a/acl2/acl2-doc_2.8-4_all.deb acl2-emacs_2.8-4_all.deb to pool/main/a/acl2/acl2-emacs_2.8-4_all.deb acl2-infix-source_2.8-4_all.deb to pool/main/a/acl2/acl2-infix-source_2.8-4_all.deb acl2-infix_2.8-4_i386.deb to pool/main/a/acl2/acl2-infix_2.8-4_i386.deb acl2-source_2.8-4_all.deb to pool/main/a/acl2/acl2-source_2.8-4_all.deb acl2_2.8-4.diff.gz to pool/main/a/acl2/acl2_2.8-4.diff.gz acl2_2.8-4.dsc to pool/main/a/acl2/acl2_2.8-4.dsc acl2_2.8-4_i386.deb to pool/main/a/acl2/acl2_2.8-4_i386.deb -- To UNSUBSCRIBE, email to debian-devel-changes-REQUEST@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org