Accepted acl2 2.9.3-6 (source all i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Thu, 13 Oct 2005 18:36:11 +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-6
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-6) unstable; urgency=low
.
* build depend on >= gcl-2.6.7-10 to get ppc gcc configure fix
Files:
3ac47bda07d2d83abd73197cc2794952 805 math optional acl2_2.9.3-6.dsc
c317ff539e026bac006b1f087bdd9c21 19850 math optional acl2_2.9.3-6.diff.gz
7692010f0f51c69fb74417dc100d52c8 2113580 math optional acl2-source_2.9.3-6_all.deb
d08f7a8957d9a2f1ca516c6a80ae26d2 49318 math optional acl2-emacs_2.9.3-6_all.deb
893dbe31ffdfca525d1533e94802f8f4 84812 math optional acl2-infix-source_2.9.3-6_all.deb
81445f70e34c3a03859f7ed4c08adf0c 1297904 math optional acl2-books-source_2.9.3-6_all.deb
74291ebe08881eeb422f8fbac98efcd3 380816 math optional acl2-books-certs_2.9.3-6_all.deb
84e509a3cd50841b563c5b45debd5d01 1864554 doc optional acl2-doc_2.9.3-6_all.deb
d09d23e4b155528c8a40ae9797eb6c7d 14108974 math optional acl2_2.9.3-6_i386.deb
ce150d24d03a5fe11c009f4c471c76ce 173462 math optional acl2-infix_2.9.3-6_i386.deb
aa5a308095ac63d5483c7a80a99b217f 859682 math optional acl2-books_2.9.3-6_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2 (GNU/Linux)
iD8DBQFDTs39czG1wFfwRdwRAsYvAKC6DtGPeyzi0mYrGB7AdqgpCNHVSACfWwUZ
F7MCWUo2CCjsUUz0+Aq+6jQ=
=xYct
-----END PGP SIGNATURE-----
Accepted:
acl2-books-certs_2.9.3-6_all.deb
to pool/main/a/acl2/acl2-books-certs_2.9.3-6_all.deb
acl2-books-source_2.9.3-6_all.deb
to pool/main/a/acl2/acl2-books-source_2.9.3-6_all.deb
acl2-books_2.9.3-6_i386.deb
to pool/main/a/acl2/acl2-books_2.9.3-6_i386.deb
acl2-doc_2.9.3-6_all.deb
to pool/main/a/acl2/acl2-doc_2.9.3-6_all.deb
acl2-emacs_2.9.3-6_all.deb
to pool/main/a/acl2/acl2-emacs_2.9.3-6_all.deb
acl2-infix-source_2.9.3-6_all.deb
to pool/main/a/acl2/acl2-infix-source_2.9.3-6_all.deb
acl2-infix_2.9.3-6_i386.deb
to pool/main/a/acl2/acl2-infix_2.9.3-6_i386.deb
acl2-source_2.9.3-6_all.deb
to pool/main/a/acl2/acl2-source_2.9.3-6_all.deb
acl2_2.9.3-6.diff.gz
to pool/main/a/acl2/acl2_2.9.3-6.diff.gz
acl2_2.9.3-6.dsc
to pool/main/a/acl2/acl2_2.9.3-6.dsc
acl2_2.9.3-6_i386.deb
to pool/main/a/acl2/acl2_2.9.3-6_i386.deb
Reply to: