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

Accepted acl2 2.6-3 (i386 source all)



-----BEGIN PGP SIGNED MESSAGE-----

Format: 1.7
Date: Mon, 28 Oct 2002 18:40:07 -0500
Source: acl2
Binary: acl2-doc acl2
Architecture: source all i386
Version: 2.6-3
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-3) unstable; urgency=low
 .
   * Add emacs21 | emacsen, debhelper to Build-Deps
Files: 
 e74d149defaaad22892b0c11134edd64 671 math optional acl2_2.6-3.dsc
 9afaccb3f2c6cfb7223ae0814f09c621 6193 math optional acl2_2.6-3.diff.gz
 f2c67a6524a04bf76c7cb9d60fb6ad14 1378706 math optional acl2-doc_2.6-3_all.deb
 cea73d0db1cebcb4d8b02358329de19f 5846588 math optional acl2_2.6-3_i386.deb

-----BEGIN PGP SIGNATURE-----
Version: 2.6.3a
Charset: noconv

iQCVAwUBPb3OTVRjAAQhp2rpAQG7EgP9HZgyDYsoSGsYXhHJDG/raI/j+Ujasx6z
Ayf9No59olsoyf+MFFIlBKEFTD6Ggf2J9o1iTNTwg5QzbRmWw46XKWXUOCPN5vQW
536yG+f+8bbUckPGMt9Y+iapOKWCQUVHgZplV6LoPxYCMQ+VrPh8YuGFIuc8bx1q
k+kyLr/vEdM=
=6zFZ
-----END PGP SIGNATURE-----


Accepted:
acl2-doc_2.6-3_all.deb
  to pool/main/a/acl2/acl2-doc_2.6-3_all.deb
acl2_2.6-3.diff.gz
  to pool/main/a/acl2/acl2_2.6-3.diff.gz
acl2_2.6-3.dsc
  to pool/main/a/acl2/acl2_2.6-3.dsc
acl2_2.6-3_i386.deb
  to pool/main/a/acl2/acl2_2.6-3_i386.deb



Reply to: