Accepted acl2 2.6-6 (i386 source all)
-----BEGIN PGP SIGNED MESSAGE-----
Format: 1.7
Date: Thu, 31 Oct 2002 21:49:44 -0500
Source: acl2
Binary: acl2-doc acl2
Architecture: source all i386
Version: 2.6-6
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.6-6) unstable; urgency=low
.
* Better (less restrictive) gcl Build-Depends
* Newer standards
* acl2-doc in section doc
Files:
b0d5fb34a7030ff3d148188d51f7e4cf 736 math optional acl2_2.6-6.dsc
9ad086b7c23866320a51f389d656988f 6617 math optional acl2_2.6-6.diff.gz
7cee6b38b95daeb4a4debe989d605f5f 1378890 doc optional acl2-doc_2.6-6_all.deb
830dd5c6d04054e6b845e6c4851a0f65 5743722 math optional acl2_2.6-6_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: 2.6.3a
Charset: noconv
iQCVAwUBPcHwRlRjAAQhp2rpAQF1cgQAh0XZOnjAUCZkYKVNaHUkNTsjr5GaiUdD
0vBNXFw6SdCxCZNY2POTgAHqEyJTsGFWT6dxTn5VXo4RjiZoCjxVgD8Bq2dkS6pj
a+qBAnhgCGuETvPaK8PYi1CyltF1+MGFrF/2ay6+njXOZhR5UGQFHQ8k4VbAtmpn
fZRZ9Y4X3ZA=
=wjxI
-----END PGP SIGNATURE-----
Accepted:
acl2-doc_2.6-6_all.deb
to pool/main/a/acl2/acl2-doc_2.6-6_all.deb
acl2_2.6-6.diff.gz
to pool/main/a/acl2/acl2_2.6-6.diff.gz
acl2_2.6-6.dsc
to pool/main/a/acl2/acl2_2.6-6.dsc
acl2_2.6-6_i386.deb
to pool/main/a/acl2/acl2_2.6-6_i386.deb
Reply to: