-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Mon, 16 Oct 2006 18:05:05 -0400
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: 3.0.1-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 (3.0.1-5) unstable; urgency=low
.
* Add user::*fast-acl2-gcl-build* and user::*acl2-keep-tmp-files*
parameters to dlopen following upstream
* Build-Depend on gcl_2.6.7-26
Files:
580b7c5d4cb570163f9d50f112a11cb4 803 math optional acl2_3.0.1-5.dsc
9ff1d05c8e7a8d04997847f272ad8a4f 18039 math optional acl2_3.0.1-5.diff.gz
5322d480b992e588852e11bf6084622b 2227360 math optional acl2-source_3.0.1-5_all.deb
f778697f4ee39ab20041ede1d1cdf04e 50442 math optional acl2-emacs_3.0.1-5_all.deb
184023d064944c5103119c2e206d4201 85230 math optional acl2-infix-source_3.0.1-5_all.deb
f8888f9d64ea361ff8178820f3588955 1670474 math optional acl2-books-source_3.0.1-5_all.deb
1efb8bb70eb9627ed4bafaf9d23a028c 3338982 math optional acl2-books-certs_3.0.1-5_all.deb
e91bd6579ddd2fcc4dc484c7c2061148 1967944 doc optional acl2-doc_3.0.1-5_all.deb
ee2be4a5b86bb83d82b3d4c3169d5705 15878560 math optional acl2_3.0.1-5_i386.deb
e4f3c718234541193a0891bea20e6613 171784 math optional acl2-infix_3.0.1-5_i386.deb
dc372819b209de006bc813ee346ca631 1285568 math optional acl2-books_3.0.1-5_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.5 (GNU/Linux)
iD8DBQFFNEcSczG1wFfwRdwRAhvtAJ4vt+s5WHJXp0YUW/P48geLt0iFnwCeNdMq
w4aRrHm8Twe2uIhpPLVP958=
=GMxy
-----END PGP SIGNATURE-----
Accepted:
acl2-books-certs_3.0.1-5_all.deb
to pool/main/a/acl2/acl2-books-certs_3.0.1-5_all.deb
acl2-books-source_3.0.1-5_all.deb
to pool/main/a/acl2/acl2-books-source_3.0.1-5_all.deb
acl2-books_3.0.1-5_i386.deb
to pool/main/a/acl2/acl2-books_3.0.1-5_i386.deb
acl2-doc_3.0.1-5_all.deb
to pool/main/a/acl2/acl2-doc_3.0.1-5_all.deb
acl2-emacs_3.0.1-5_all.deb
to pool/main/a/acl2/acl2-emacs_3.0.1-5_all.deb
acl2-infix-source_3.0.1-5_all.deb
to pool/main/a/acl2/acl2-infix-source_3.0.1-5_all.deb
acl2-infix_3.0.1-5_i386.deb
to pool/main/a/acl2/acl2-infix_3.0.1-5_i386.deb
acl2-source_3.0.1-5_all.deb
to pool/main/a/acl2/acl2-source_3.0.1-5_all.deb
acl2_3.0.1-5.diff.gz
to pool/main/a/acl2/acl2_3.0.1-5.diff.gz
acl2_3.0.1-5.dsc
to pool/main/a/acl2/acl2_3.0.1-5.dsc
acl2_3.0.1-5_i386.deb
to pool/main/a/acl2/acl2_3.0.1-5_i386.deb
