Accepted acl2 2.8-1 (i386 source all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Fri, 16 Apr 2004 03:35:25 +0000
Source: acl2
Binary: acl2-books-certs acl2-doc acl2 acl2-infix-source acl2-infix acl2-source acl2-books-source acl2-books acl2-emacs
Architecture: source all i386
Version: 2.8-1
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-books - Applicative Common Lisp: A Computational Logic
acl2-books-certs - Applicative Common Lisp: A Computational Logic
acl2-books-source - Applicative Common Lisp: A Computational Logic
acl2-doc - Documentation for ACL2
acl2-emacs - Applicative Common Lisp: A Computational Logic
acl2-infix - Applicative Common Lisp: A Computational Logic
acl2-infix-source - Applicative Common Lisp: A Computational Logic
acl2-source - Applicative Common Lisp: A Computational Logic
Closes: 232883
Changes:
acl2 (2.8-1) unstable; urgency=low
.
* New upstream release
* Bug fix: "Inefficient packaging of arch independent data", thanks to
Steve McIntyre (Closes: #232883). Split package into several
components.
Files:
4966793d0f1602eeddf6088738f2e114 832 math optional acl2_2.8-1.dsc
e111761f4bb2bc36549dbcb4284e61cb 5157528 math optional acl2_2.8.orig.tar.gz
fa545776434e83f005a69d19b2741cdb 12069 math optional acl2_2.8-1.diff.gz
db4fbd9703e64c6db439c16bd59d8246 1943408 math optional acl2-source_2.8-1_all.deb
22f306e91a698302f2562fec5c1c7a61 60914 math optional acl2-emacs_2.8-1_all.deb
4434fc7c5f6ef84d72d7f0d0fde297ae 83592 math optional acl2-infix-source_2.8-1_all.deb
9967fa5733f9f8199aa684b5389e0d26 1227406 math optional acl2-books-source_2.8-1_all.deb
79b33c6bc4cb6196b5038ab6aaf153f9 294476 math optional acl2-books-certs_2.8-1_all.deb
d4a71aab910a6af98db6962828fda1a0 1655060 doc optional acl2-doc_2.8-1_all.deb
da106f8bc2f91cb035420cc8a232a09a 13246416 math optional acl2_2.8-1_i386.deb
735d4b75df5bb93588fa7b808c62d4a2 180866 math optional acl2-infix_2.8-1_i386.deb
9f5c888a676903c84a97229f800c57dc 894234 math optional acl2-books_2.8-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.4 (GNU/Linux)
iD8DBQFAiAkpczG1wFfwRdwRAqgXAJ4vdEPQ/ZpSVfytrleSWooKlUXc8gCfZuZr
fj3gaPJw0q8jt4sHIPqxyds=
=Gp++
-----END PGP SIGNATURE-----
Accepted:
acl2-books-certs_2.8-1_all.deb
to pool/main/a/acl2/acl2-books-certs_2.8-1_all.deb
acl2-books-source_2.8-1_all.deb
to pool/main/a/acl2/acl2-books-source_2.8-1_all.deb
acl2-books_2.8-1_i386.deb
to pool/main/a/acl2/acl2-books_2.8-1_i386.deb
acl2-doc_2.8-1_all.deb
to pool/main/a/acl2/acl2-doc_2.8-1_all.deb
acl2-emacs_2.8-1_all.deb
to pool/main/a/acl2/acl2-emacs_2.8-1_all.deb
acl2-infix-source_2.8-1_all.deb
to pool/main/a/acl2/acl2-infix-source_2.8-1_all.deb
acl2-infix_2.8-1_i386.deb
to pool/main/a/acl2/acl2-infix_2.8-1_i386.deb
acl2-source_2.8-1_all.deb
to pool/main/a/acl2/acl2-source_2.8-1_all.deb
acl2_2.8-1.diff.gz
to pool/main/a/acl2/acl2_2.8-1.diff.gz
acl2_2.8-1.dsc
to pool/main/a/acl2/acl2_2.8-1.dsc
acl2_2.8-1_i386.deb
to pool/main/a/acl2/acl2_2.8-1_i386.deb
acl2_2.8.orig.tar.gz
to pool/main/a/acl2/acl2_2.8.orig.tar.gz
Reply to: