[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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: