-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Sat, 05 Apr 2008 18:49:49 +0200
Source: acl2
Binary: acl2 acl2-source acl2-emacs acl2-infix acl2-infix-source acl2-books
acl2-books-source acl2-books-certs acl2-doc
Architecture: source all i386
Version: 3.3-1.1
Distribution: unstable
Urgency: low
Maintainer: Camm Maguire <[EMAIL PROTECTED]>
Changed-By: Peter Eisentraut <[EMAIL PROTECTED]>
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
Closes: 459060
Changes:
acl2 (3.3-1.1) unstable; urgency=low
.
* Non-maintainer upload.
* Build depend on time, so that it works with shells other than bash
(Closes: #459060).
Files:
1f7c6956b83a7dde046bc8507a52b04b 821 math optional acl2_3.3-1.1.dsc
3027c1c5fc4dbd0718f29dad6f15bf6d 13594 math optional acl2_3.3-1.1.diff.gz
2e87cacfeea90f850dafae6192f5e2f6 2486188 math optional
acl2-source_3.3-1.1_all.deb
7c314dd3700ab383fd0db411f030c7e4 56018 math optional acl2-emacs_3.3-1.1_all.deb
1ea4bfb5c0a7f4bc079f7767ff312f55 87382 math optional
acl2-infix-source_3.3-1.1_all.deb
198e00337ba417ecf54289471e324455 2558702 math optional
acl2-books-source_3.3-1.1_all.deb
249e79d9ce2bc47fc6d6b664c95b025e 1249156 math optional
acl2-books-certs_3.3-1.1_all.deb
83184f3a52b4765e3717f18e8ef45050 2262244 doc optional acl2-doc_3.3-1.1_all.deb
b6c02aab69ec70329db2d2fd2c27f5f5 16902202 math optional acl2_3.3-1.1_i386.deb
fda28adca4fc00c6c6ff9aa4554fdfbd 171360 math optional
acl2-infix_3.3-1.1_i386.deb
bc16456a0cf3448a349381b4d1c5bd13 4919094 math optional
acl2-books_3.3-1.1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFH+HeZTTx8oVVPtMYRArO7AKC5etilRlx/++tBmYHYGxu5klXdbQCfQH3U
RozdNNbsc92hyoX2ehnvUq4=
=V9lS
-----END PGP SIGNATURE-----
Accepted:
acl2-books-certs_3.3-1.1_all.deb
to pool/main/a/acl2/acl2-books-certs_3.3-1.1_all.deb
acl2-books-source_3.3-1.1_all.deb
to pool/main/a/acl2/acl2-books-source_3.3-1.1_all.deb
acl2-books_3.3-1.1_i386.deb
to pool/main/a/acl2/acl2-books_3.3-1.1_i386.deb
acl2-doc_3.3-1.1_all.deb
to pool/main/a/acl2/acl2-doc_3.3-1.1_all.deb
acl2-emacs_3.3-1.1_all.deb
to pool/main/a/acl2/acl2-emacs_3.3-1.1_all.deb
acl2-infix-source_3.3-1.1_all.deb
to pool/main/a/acl2/acl2-infix-source_3.3-1.1_all.deb
acl2-infix_3.3-1.1_i386.deb
to pool/main/a/acl2/acl2-infix_3.3-1.1_i386.deb
acl2-source_3.3-1.1_all.deb
to pool/main/a/acl2/acl2-source_3.3-1.1_all.deb
acl2_3.3-1.1.diff.gz
to pool/main/a/acl2/acl2_3.3-1.1.diff.gz
acl2_3.3-1.1.dsc
to pool/main/a/acl2/acl2_3.3-1.1.dsc
acl2_3.3-1.1_i386.deb
to pool/main/a/acl2/acl2_3.3-1.1_i386.deb
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
