Accepted acl2 2.9.3-7 (source all i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Thu, 20 Oct 2005 12:46:17 +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.9.3-7
Distribution: unstable
Urgency: low
Maintainer: Camm Maguire <camm@enhanced.com>
Changed-By: Camm Maguire <camm@enhanced.com>
Description:
acl2 - A Computational Logic for Applicative Common Lisp: main binary
acl2-books - A Computational Logic for Applicative Common Lisp: compiled libra
acl2-books-certs - A Computational Logic for Applicative Common Lisp: library certif
acl2-books-source - A Computational Logic for Applicative Common Lisp: library source
acl2-doc - A Computational Logic for Applicative Common Lisp: documentation
acl2-emacs - A Computational Logic for Applicative Common Lisp: emacs interfac
acl2-infix - A Computational Logic for Applicative Common Lisp: infix interfac
acl2-infix-source - A Computational Logic for Applicative Common Lisp: infix source
acl2-source - A Computational Logic for Applicative Common Lisp: source files
Closes: 323666
Changes:
acl2 (2.9.3-7) unstable; urgency=low
.
* build depend on >= gcl-2.6.7-11 to get default maxpage fix for amd64,
Closes: #323666.
Files:
a43c506519aab80de35ea44cf55d034f 805 math optional acl2_2.9.3-7.dsc
5a8c004e36785341ae2fd94aae608381 20948 math optional acl2_2.9.3-7.diff.gz
f1cd9964f655804dceca5acee33498d9 2113608 math optional acl2-source_2.9.3-7_all.deb
d96c7777cde17497304d7efda104370f 49364 math optional acl2-emacs_2.9.3-7_all.deb
d1ee2461d133639d452a49e3e67316a2 84850 math optional acl2-infix-source_2.9.3-7_all.deb
d2610ffa9a000256017748899aa72d12 1297956 math optional acl2-books-source_2.9.3-7_all.deb
e08ad3c20a50c16e37580e5bbb31fa4d 380824 math optional acl2-books-certs_2.9.3-7_all.deb
aa4c7975916035192a84331a2e9dff40 1864598 doc optional acl2-doc_2.9.3-7_all.deb
0b2176d4a02213017bda670e6dc75d90 14115918 math optional acl2_2.9.3-7_i386.deb
395e168041c352931846a0448069cdd8 173516 math optional acl2-infix_2.9.3-7_i386.deb
c6321c97665423e43cf25efe5d8996dd 859586 math optional acl2-books_2.9.3-7_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2 (GNU/Linux)
iD8DBQFDV6lCczG1wFfwRdwRAmoZAJ9NUKeG3Yea9ytv59MPxClTXn1xzACfceQL
38k+sAaeqTV6B8drGO7hAWU=
=Gkmf
-----END PGP SIGNATURE-----
Accepted:
acl2-books-certs_2.9.3-7_all.deb
to pool/main/a/acl2/acl2-books-certs_2.9.3-7_all.deb
acl2-books-source_2.9.3-7_all.deb
to pool/main/a/acl2/acl2-books-source_2.9.3-7_all.deb
acl2-books_2.9.3-7_i386.deb
to pool/main/a/acl2/acl2-books_2.9.3-7_i386.deb
acl2-doc_2.9.3-7_all.deb
to pool/main/a/acl2/acl2-doc_2.9.3-7_all.deb
acl2-emacs_2.9.3-7_all.deb
to pool/main/a/acl2/acl2-emacs_2.9.3-7_all.deb
acl2-infix-source_2.9.3-7_all.deb
to pool/main/a/acl2/acl2-infix-source_2.9.3-7_all.deb
acl2-infix_2.9.3-7_i386.deb
to pool/main/a/acl2/acl2-infix_2.9.3-7_i386.deb
acl2-source_2.9.3-7_all.deb
to pool/main/a/acl2/acl2-source_2.9.3-7_all.deb
acl2_2.9.3-7.diff.gz
to pool/main/a/acl2/acl2_2.9.3-7.diff.gz
acl2_2.9.3-7.dsc
to pool/main/a/acl2/acl2_2.9.3-7.dsc
acl2_2.9.3-7_i386.deb
to pool/main/a/acl2/acl2_2.9.3-7_i386.deb
Reply to: