Accepted acl2 2.7-4 (i386 source all)
-----BEGIN PGP SIGNED MESSAGE-----
Format: 1.7
Date: Thu, 21 Nov 2002 23:40:09 -0500
Source: acl2
Binary: acl2-doc acl2
Architecture: source all i386
Version: 2.7-4
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-4) unstable; urgency=low
.
* Fix bad patch
Files:
beb3598ffa9174a92f72c212293002bc 932 math optional acl2_2.7-4.dsc
2fea0d6f1315ad23d8916d7ceb8635d7 19854 math optional acl2_2.7-4.diff.gz
ba1c4d6b1bb27dc8413635fdc465e615 1503116 doc optional acl2-doc_2.7-4_all.deb
ae3b671e9bc852c56166209d1e24eb38 9540094 math optional acl2_2.7-4_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: 2.6.3a
Charset: noconv
iQCVAwUBPd3i8VRjAAQhp2rpAQHPfAQApj3xmAJ6pMi4CRYHDOo2m4LDlJNhxszS
gdnSEsLecqllzdLquepl9qDSQgf98pGS1gn0ziNJfrv2zyARabn0nAla30n/736V
OmrJpLQUXRW1uAm7QbxplmVV5FBnOKtSe2MNNY3nnfxwku5xOBGomg2oWgciDBqc
UXGo8A8xz9g=
=ArYZ
-----END PGP SIGNATURE-----
Accepted:
acl2-doc_2.7-4_all.deb
to pool/main/a/acl2/acl2-doc_2.7-4_all.deb
acl2_2.7-4.diff.gz
to pool/main/a/acl2/acl2_2.7-4.diff.gz
acl2_2.7-4.dsc
to pool/main/a/acl2/acl2_2.7-4.dsc
acl2_2.7-4_i386.deb
to pool/main/a/acl2/acl2_2.7-4_i386.deb
Reply to: