Accepted acl2 2.8-4 (i386 source all)
-----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
Reply to: