Accepted acl2 2.9-1 (i386 source all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Mon, 25 Oct 2004 13:29:46 +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-1
Distribution: unstable
Urgency: high
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-1) unstable; urgency=high
.
* New upstream release
* Remove nullification of allocation list from debian/patches.in
* Add debian/dlopen.lisp for building on ia64,mips(el),alpha and hppa
* Revert to upstream build procedure on all other platforms
* doc-notes.txt is gone (from acl2-emacs.doc)
* mv nsaved_acl2.gcl saved_acl2 for backward compatibility with 2.8, as
we provide our own shell script wrapper.
* Remove debian/acl2-doc.info in favor of compile-time generated command
line arguments to dh_installinfo
Files:
d054d847e77e8a2cb0697c26ad462bdc 794 math optional acl2_2.9-1.dsc
160e1553a738b5709d16822580a2dcb6 5202871 math optional acl2_2.9.orig.tar.gz
e51356df975978a739be6dd7171660c2 18008 math optional acl2_2.9-1.diff.gz
f58cac300aec3479b78bcd33f4463912 2049838 math optional acl2-source_2.9-1_all.deb
bbebcc314a70f04fc430fb020642d8e4 48664 math optional acl2-emacs_2.9-1_all.deb
c785ed92296958c44421acca3785c553 84156 math optional acl2-infix-source_2.9-1_all.deb
48f32b8aa1b024d159569633633056cc 1235712 math optional acl2-books-source_2.9-1_all.deb
3e6203edac7b5dd0150a2a5d2e8e6306 295726 math optional acl2-books-certs_2.9-1_all.deb
1cb94ac9017e5642ed7cc0a784d118a4 1791930 doc optional acl2-doc_2.9-1_all.deb
9ba9c125c53536048f5304a298f893b3 13732972 math optional acl2_2.9-1_i386.deb
0463151598dda65ce5d8f10f09b35321 181044 math optional acl2-infix_2.9-1_i386.deb
4ad87beeea7379a373863f3191ae7e28 833276 math optional acl2-books_2.9-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.5 (GNU/Linux)
iD8DBQFBfUiuczG1wFfwRdwRAo9zAJsFGK9OxMGiARfzCWIME4Hek16PtACfUuct
c09dIL16PtuzB15M92pnxKA=
=gQ3C
-----END PGP SIGNATURE-----
Accepted:
acl2-books-certs_2.9-1_all.deb
to pool/main/a/acl2/acl2-books-certs_2.9-1_all.deb
acl2-books-source_2.9-1_all.deb
to pool/main/a/acl2/acl2-books-source_2.9-1_all.deb
acl2-books_2.9-1_i386.deb
to pool/main/a/acl2/acl2-books_2.9-1_i386.deb
acl2-doc_2.9-1_all.deb
to pool/main/a/acl2/acl2-doc_2.9-1_all.deb
acl2-emacs_2.9-1_all.deb
to pool/main/a/acl2/acl2-emacs_2.9-1_all.deb
acl2-infix-source_2.9-1_all.deb
to pool/main/a/acl2/acl2-infix-source_2.9-1_all.deb
acl2-infix_2.9-1_i386.deb
to pool/main/a/acl2/acl2-infix_2.9-1_i386.deb
acl2-source_2.9-1_all.deb
to pool/main/a/acl2/acl2-source_2.9-1_all.deb
acl2_2.9-1.diff.gz
to pool/main/a/acl2/acl2_2.9-1.diff.gz
acl2_2.9-1.dsc
to pool/main/a/acl2/acl2_2.9-1.dsc
acl2_2.9-1_i386.deb
to pool/main/a/acl2/acl2_2.9-1_i386.deb
acl2_2.9.orig.tar.gz
to pool/main/a/acl2/acl2_2.9.orig.tar.gz
Reply to: