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

Accepted acl2 2.6-10 (i386 source all)



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

Format: 1.7
Date: Wed, 13 Nov 2002 14:04:32 -0500
Source: acl2
Binary: acl2-doc acl2
Architecture: source all i386
Version: 2.6-10
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
Closes: 168968
Changes: 
 acl2 (2.6-10) unstable; urgency=low
 .
   * Added missing Build-deps: Closes: #168968
Files: 
 0be1736fdbc66247a5e8588ad18f9a6c 812 math optional acl2_2.6-10.dsc
 9edbe5cf09fd76796a5ce87986ce7b90 8857 math optional acl2_2.6-10.diff.gz
 3d6f9c06dd18c627f0160f90de89fdba 1379062 doc optional acl2-doc_2.6-10_all.deb
 be4e2779c37ba9ce437e588ea0313195 5741218 math optional acl2_2.6-10_i386.deb

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

iQCVAwUBPdKnLVRjAAQhp2rpAQFQSgP9GwY1VsgdD9ea/6HdBWByiWJBhAopqUpe
wz5US4f1QJeprzpTUV1aFZuFKniH2CwW/W1AVv2rtjzmNVxRiFDC9EP3suBBThk0
fnBQafk7ipUHDLaCOEmUowVdmsjmzgpKkYrDoLlM7rGalNiCX5V5dAxT5RacS+91
BLI6vimfUK4=
=NGeq
-----END PGP SIGNATURE-----


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



Reply to: