Accepted acl2 2.9.3-4 (source all i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Sun, 2 Oct 2005 11:23:30 +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-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
Changes:
acl2 (2.9.3-4) unstable; urgency=low
.
* build depend on >= gcl 2.6.7-8 for 64bit bignum/fixnum fix
Files:
0c37d591a727d43d421f8fc9d0e12da0 804 math optional acl2_2.9.3-4.dsc
485fa13eb9acb99b6b41aa996210482d 19798 math optional acl2_2.9.3-4.diff.gz
3e7c61ff191e1ef8d616bdf8b7f78274 2113550 math optional acl2-source_2.9.3-4_all.deb
225d85eafbc90d0c5e68f77f200285d3 49262 math optional acl2-emacs_2.9.3-4_all.deb
3845c9ef13498dca3c4cbf33f803305d 84744 math optional acl2-infix-source_2.9.3-4_all.deb
8321a6e28c854d25dc01989bf03cb19c 1297844 math optional acl2-books-source_2.9.3-4_all.deb
9fd791633766c2dae51aa484480343fc 380722 math optional acl2-books-certs_2.9.3-4_all.deb
8bc01e95e43502e7852b9267158f43e5 1864480 doc optional acl2-doc_2.9.3-4_all.deb
2cb6ad3268cf64c3d9d18cb485230663 14109890 math optional acl2_2.9.3-4_i386.deb
98878bf9cdf29ed775fd8c2a5d572cfd 173424 math optional acl2-infix_2.9.3-4_i386.deb
dc2b62695e2bc921183da3b22de44a69 859478 math optional acl2-books_2.9.3-4_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2 (GNU/Linux)
iD8DBQFDQICzczG1wFfwRdwRAkRoAKCvQiUjvXdeOeHdKcLJFAc0L2AdpACeP7N9
9eziPx1gaim6v2jZWPCXLF0=
=YIPE
-----END PGP SIGNATURE-----
Accepted:
acl2-books-certs_2.9.3-4_all.deb
to pool/main/a/acl2/acl2-books-certs_2.9.3-4_all.deb
acl2-books-source_2.9.3-4_all.deb
to pool/main/a/acl2/acl2-books-source_2.9.3-4_all.deb
acl2-books_2.9.3-4_i386.deb
to pool/main/a/acl2/acl2-books_2.9.3-4_i386.deb
acl2-doc_2.9.3-4_all.deb
to pool/main/a/acl2/acl2-doc_2.9.3-4_all.deb
acl2-emacs_2.9.3-4_all.deb
to pool/main/a/acl2/acl2-emacs_2.9.3-4_all.deb
acl2-infix-source_2.9.3-4_all.deb
to pool/main/a/acl2/acl2-infix-source_2.9.3-4_all.deb
acl2-infix_2.9.3-4_i386.deb
to pool/main/a/acl2/acl2-infix_2.9.3-4_i386.deb
acl2-source_2.9.3-4_all.deb
to pool/main/a/acl2/acl2-source_2.9.3-4_all.deb
acl2_2.9.3-4.diff.gz
to pool/main/a/acl2/acl2_2.9.3-4.diff.gz
acl2_2.9.3-4.dsc
to pool/main/a/acl2/acl2_2.9.3-4.dsc
acl2_2.9.3-4_i386.deb
to pool/main/a/acl2/acl2_2.9.3-4_i386.deb
Reply to: