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

Accepted acl2 2.6-2 (i386 source all)



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

Format: 1.7
Date: Sat, 26 Oct 2002 21:34:36 -0400
Source: acl2
Binary: acl2-doc acl2
Architecture: source all i386
Version: 2.6-2
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-2) unstable; urgency=low
 .
   * Fix emacsen and info post-install
Files: 
 c0f731797d55f55c5bfe1e8df1277d45 641 math optional acl2_2.6-2.dsc
 3ea34fbf44bf514974a507fa76c072eb 6151 math optional acl2_2.6-2.diff.gz
 879771193dda932d74593f3e7db1ed76 1378654 math optional acl2-doc_2.6-2_all.deb
 9a6b8d98606d41cf21af43fc1c36720b 5776066 math optional acl2_2.6-2_i386.deb

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

iQCVAwUBPbv7d1RjAAQhp2rpAQG+XAP/ZVu/qtc4CKZuQbqQ4TY6CQWIQc4ou4i4
mkDqs9Kvwov6bWgTdxaUOsZ6LDkZBJazRavOIM8ebI25JGlUZAtCRoquixnwtu7x
KmIz6WH777TKNNpOwC5Q5w/RHX2cGv3+DYkVJ8QcWvhd15WfmKErT5gyTcHeXmN/
H4cLP+WIiGQ=
=UHtr
-----END PGP SIGNATURE-----


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



Reply to: