-----BEGIN PGP SIGNED MESSAGE----- Format: 1.7 Date: Mon, 25 Nov 2002 10:13:16 -0500 Source: acl2 Binary: acl2-doc acl2 Architecture: source all i386 Version: 2.7-5 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-5) unstable; urgency=low . * New gcl fixes for arm * cat to build log failed cert output Files: 50f97272ae0861a2692ce6678e23b017 975 math optional acl2_2.7-5.dsc 91d173c79697559179b00a45411c3a53 20124 math optional acl2_2.7-5.diff.gz 1620f5ffa568ba10c5f4a05095004257 1503154 doc optional acl2-doc_2.7-5_all.deb d79c3bd51954a73b487ad51107cc072f 9540728 math optional acl2_2.7-5_i386.deb -----BEGIN PGP SIGNATURE----- Version: 2.6.3a Charset: noconv iQCVAwUBPeJlv1RjAAQhp2rpAQGDTAP/XQbjHjINPI4BvrU5HzLcB5nDpXh3EAl8 HktqtIbTtFLqzfm8WeXYvbt6uG3xhV8HrfLk9n/dXY3dSk+6JoaoLbE5XuQGJaeG w82gWNkoU18rtIZ7NZZqzvyLcJOrHV38g49dckYrAJeG731nHRJmJMSgbscQWuDz RmeFZrQntHY= =V9PN -----END PGP SIGNATURE----- Accepted: acl2-doc_2.7-5_all.deb to pool/main/a/acl2/acl2-doc_2.7-5_all.deb acl2_2.7-5.diff.gz to pool/main/a/acl2/acl2_2.7-5.diff.gz acl2_2.7-5.dsc to pool/main/a/acl2/acl2_2.7-5.dsc acl2_2.7-5_i386.deb to pool/main/a/acl2/acl2_2.7-5_i386.deb -- To UNSUBSCRIBE, email to debian-devel-changes-request@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
