Accepted acl2 2.7-7 (i386 source all)
-----BEGIN PGP SIGNED MESSAGE-----
Format: 1.7
Date: Tue, 10 Dec 2002 13:20:34 -0500
Source: acl2
Binary: acl2-doc acl2
Architecture: source all i386
Version: 2.7-7
Distribution: unstable
Urgency: low
Maintainer: Camm Maguire <camm@enhanced.com>
Changed-By: Camm Maguire <camm@enhanced.com>
Description:
acl2 - Applicative Common Lisp: A Computational Logic
acl2-doc - Documentation for acl2
Changes:
acl2 (2.7-7) unstable; urgency=low
.
* More verbose testing output to overcome autobuild timeout problems
Files:
862cc8cf51b002cfdf24689553b95115 975 math optional acl2_2.7-7.dsc
c58ef4d34287f11eb505e0c0e1a513e5 21690 math optional acl2_2.7-7.diff.gz
af0893003b3c2aee5ef6b78330720e9d 1504896 doc optional acl2-doc_2.7-7_all.deb
4c2912a4a630a875b0862d675ed6baf2 9664676 math optional acl2_2.7-7_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: 2.6.3a
Charset: noconv
iQCVAwUBPfZqIFRjAAQhp2rpAQFaiQP/VCy7JJHC/sWOFiWlVDzymurAxhAfm39Y
1JY0tq4vZaXhJp5Kh18pxFZmGMFvoknEQF80UHvZ+yF9OWwi4Lp9gL2pTxtE31Mc
3eQ/tJd6f/TInhLrHNFzPHhZce0RFrM2ykiFUOvrRO7oZCHItyp3DKhTadyQgGSE
qwkDSFUPRDU=
=AAz5
-----END PGP SIGNATURE-----
Accepted:
acl2-doc_2.7-7_all.deb
to pool/main/a/acl2/acl2-doc_2.7-7_all.deb
acl2_2.7-7.diff.gz
to pool/main/a/acl2/acl2_2.7-7.diff.gz
acl2_2.7-7.dsc
to pool/main/a/acl2/acl2_2.7-7.dsc
acl2_2.7-7_i386.deb
to pool/main/a/acl2/acl2_2.7-7_i386.deb
Reply to: