Accepted acl2 2.6-12 (i386 source all)
-----BEGIN PGP SIGNED MESSAGE-----
Format: 1.7
Date: Sat, 16 Nov 2002 23:22:25 -0500
Source: acl2
Binary: acl2-doc acl2
Architecture: source all i386
Version: 2.6-12
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-12) unstable; urgency=low
.
* Turn off default-system-p in final image
* tests in build target to avoid fakeroot bug on ia64, better here
anyway
* increased files distributed as recommended by upstream
* emacs interface fixes to support all Debian emacs flavors
Files:
75cfb58ab71806ef396aa6f19c6e8c45 888 math optional acl2_2.6-12.dsc
828b46fec7aeeb61f9c1d9d6c1b30ce8 13808 math optional acl2_2.6-12.diff.gz
af02c9c0a54502e0750a82d7ef629a16 1449600 doc optional acl2-doc_2.6-12_all.deb
5905e123403c4222f51b6203876dad8d 8472946 math optional acl2_2.6-12_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: 2.6.3a
Charset: noconv
iQCVAwUBPdc1OVRjAAQhp2rpAQE5IgQAh131Rj49UTX/O1olXyAyDiod4krVn+eX
vClBUSiPYVJ8u6WhfqFzyHBfI9VT+ajQhATKV/AwI+XzXMdA/PaSGYGYgWXyiuah
qcvGzYORGiDfYBOi03W3R1v421LuOh2ymm1W9GWGsOEYi80eqdtxXsTZTNi2qVCU
KzgY126ukRU=
=x1f4
-----END PGP SIGNATURE-----
Accepted:
acl2-doc_2.6-12_all.deb
to pool/main/a/acl2/acl2-doc_2.6-12_all.deb
acl2_2.6-12.diff.gz
to pool/main/a/acl2/acl2_2.6-12.diff.gz
acl2_2.6-12.dsc
to pool/main/a/acl2/acl2_2.6-12.dsc
acl2_2.6-12_i386.deb
to pool/main/a/acl2/acl2_2.6-12_i386.deb
Reply to: