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

Accepted acl2 2.7-2 (i386 source all)



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

Format: 1.7
Date: Tue, 19 Nov 2002 20:11:39 -0500
Source: acl2
Binary: acl2-doc acl2
Architecture: source all i386
Version: 2.7-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.7-2) unstable; urgency=low
 .
   * Build-depends on tetex-base
Files: 
 21a90aaea31a197e7103a6a926e588df 898 math optional acl2_2.7-2.dsc
 b5099008ae28af972f4eec710b7443ad 19717 math optional acl2_2.7-2.diff.gz
 06b47b0a433fe9519c23dba221fdfcee 1503016 doc optional acl2-doc_2.7-2_all.deb
 edf3044e3997404f14cdb41cf931180f 9538626 math optional acl2_2.7-2_i386.deb

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

iQCVAwUBPdswHFRjAAQhp2rpAQEFCgP/UgmVVt1CIt9C+Vc3/sLRxwm0L5NLPwG+
gqVxWlNm4fMGtoSSveCwBLhHxE7sSMyH2xGd9DTF9iseRn2kEAVyTRf13hTo6qGP
x3BijA/r9AEexO6f/+nXlIKdnfvsDmhJmUgMKGoGrxWAUAYvZQiiTKK00A56v5jr
8GXH/RLSaT8=
=L8gx
-----END PGP SIGNATURE-----


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



Reply to: