Accepted acl2 2.9.3-5 (source all i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Wed, 5 Oct 2005 19:15:41 +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-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 (2.9.3-5) unstable; urgency=low
.
* build depend on >= gcl 2.6.7-8 for 64bit fasd data/fixnum fix
Files:
538f29375b799e39ae3ccf33a67df301 804 math optional acl2_2.9.3-5.dsc
1c1a0526941bed4d872815fd0fd87a65 19826 math optional acl2_2.9.3-5.diff.gz
1d17fbf8e22fd72b3bd55410b33f298e 2113566 math optional acl2-source_2.9.3-5_all.deb
dea1959c766d4d450d6bff0ab708cf19 49292 math optional acl2-emacs_2.9.3-5_all.deb
74db1571b7b1ce3e36c95262ad6cedb8 84774 math optional acl2-infix-source_2.9.3-5_all.deb
21aee7df83ce38c338f3b873eccfe2d6 1297858 math optional acl2-books-source_2.9.3-5_all.deb
1727734a13a87c72c807946c1b0ebdb7 380762 math optional acl2-books-certs_2.9.3-5_all.deb
cb7df8ccb4fccbb93d7e7d372ea6d539 1864514 doc optional acl2-doc_2.9.3-5_all.deb
835baf77a84a42e314876f93a26e0c9a 14111798 math optional acl2_2.9.3-5_i386.deb
a5d640d606403f8efeae751b8be53435 173438 math optional acl2-infix_2.9.3-5_i386.deb
984be5d0e87bf091e0c1eacb7c4755e0 859626 math optional acl2-books_2.9.3-5_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2 (GNU/Linux)
iD8DBQFDRDryczG1wFfwRdwRApsmAKCr7EJRuvwcBFmfLxI2KXmQe2ftfwCfbnVP
a9uODfrgpDpUQC+kJaKaUOE=
=DiK6
-----END PGP SIGNATURE-----
Accepted:
acl2-books-certs_2.9.3-5_all.deb
to pool/main/a/acl2/acl2-books-certs_2.9.3-5_all.deb
acl2-books-source_2.9.3-5_all.deb
to pool/main/a/acl2/acl2-books-source_2.9.3-5_all.deb
acl2-books_2.9.3-5_i386.deb
to pool/main/a/acl2/acl2-books_2.9.3-5_i386.deb
acl2-doc_2.9.3-5_all.deb
to pool/main/a/acl2/acl2-doc_2.9.3-5_all.deb
acl2-emacs_2.9.3-5_all.deb
to pool/main/a/acl2/acl2-emacs_2.9.3-5_all.deb
acl2-infix-source_2.9.3-5_all.deb
to pool/main/a/acl2/acl2-infix-source_2.9.3-5_all.deb
acl2-infix_2.9.3-5_i386.deb
to pool/main/a/acl2/acl2-infix_2.9.3-5_i386.deb
acl2-source_2.9.3-5_all.deb
to pool/main/a/acl2/acl2-source_2.9.3-5_all.deb
acl2_2.9.3-5.diff.gz
to pool/main/a/acl2/acl2_2.9.3-5.diff.gz
acl2_2.9.3-5.dsc
to pool/main/a/acl2/acl2_2.9.3-5.dsc
acl2_2.9.3-5_i386.deb
to pool/main/a/acl2/acl2_2.9.3-5_i386.deb
Reply to: