Your message dated Fri, 11 Jun 2010 13:48:41 +0000
with message-id <e1on4bb-0000vp...@ries.debian.org>
and subject line Bug#585405: fixed in acl2 3.6.1-2
has caused the Debian Bug report #585405,
regarding acl2 depends on old / broken emacs22 package
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)
--
585405: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=585405
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: acl2
Version: 3.6.1-1
Severity: serious
Hi,
the emacs22 package refuses to get installed on mipsel, so your
package is failing to build.
Andi
--- End Message ---
--- Begin Message ---
Source: acl2
Source-Version: 3.6.1-2
We believe that the bug you reported is fixed in the latest version of
acl2, which is due to be installed in the Debian FTP archive:
acl2-books-certs_3.6.1-2_all.deb
to main/a/acl2/acl2-books-certs_3.6.1-2_all.deb
acl2-books-source_3.6.1-2_all.deb
to main/a/acl2/acl2-books-source_3.6.1-2_all.deb
acl2-books_3.6.1-2_i386.deb
to main/a/acl2/acl2-books_3.6.1-2_i386.deb
acl2-doc_3.6.1-2_all.deb
to main/a/acl2/acl2-doc_3.6.1-2_all.deb
acl2-emacs_3.6.1-2_all.deb
to main/a/acl2/acl2-emacs_3.6.1-2_all.deb
acl2-infix-source_3.6.1-2_all.deb
to main/a/acl2/acl2-infix-source_3.6.1-2_all.deb
acl2-infix_3.6.1-2_i386.deb
to main/a/acl2/acl2-infix_3.6.1-2_i386.deb
acl2-source_3.6.1-2_all.deb
to main/a/acl2/acl2-source_3.6.1-2_all.deb
acl2_3.6.1-2.diff.gz
to main/a/acl2/acl2_3.6.1-2.diff.gz
acl2_3.6.1-2.dsc
to main/a/acl2/acl2_3.6.1-2.dsc
acl2_3.6.1-2_i386.deb
to main/a/acl2/acl2_3.6.1-2_i386.deb
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 585...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Camm Maguire <c...@debian.org> (supplier of updated acl2 package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Thu, 10 Jun 2010 14:09:37 +0000
Source: acl2
Binary: acl2 acl2-source acl2-emacs acl2-infix acl2-infix-source acl2-books
acl2-books-source acl2-books-certs acl2-doc
Architecture: source all i386
Version: 3.6.1-2
Distribution: unstable
Urgency: low
Maintainer: Camm Maguire <c...@debian.org>
Changed-By: Camm Maguire <c...@debian.org>
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: 585405
Changes:
acl2 (3.6.1-2) unstable; urgency=low
.
* Bug fix: "acl2 depends on old / broken emacs22 package", thanks to
Andreas Barth (Closes: #585405).
* lintian fixes
Checksums-Sha1:
6b59c63c9f0d3cd61a0bf481f82c1f0dfe671030 1182 acl2_3.6.1-2.dsc
387e3035898928b3bf81ac374f4748613113280a 15305 acl2_3.6.1-2.diff.gz
53bf8ca70990efbfe496195ea5367bd7fe38f640 2741390 acl2-source_3.6.1-2_all.deb
3a80f5e22b9c580a00fb17fae4bc24de2468e48d 57982 acl2-emacs_3.6.1-2_all.deb
0966684932b1c2c053e0efa044ab72a1e0bf24d4 89194
acl2-infix-source_3.6.1-2_all.deb
305740fdb97fb0bc092331cc13c23e54b038b6a1 5139730
acl2-books-source_3.6.1-2_all.deb
06dafb1dce082c0018165e70e08cc5197587322d 2012934
acl2-books-certs_3.6.1-2_all.deb
742b9050d0df93d8c4a2a4a48e4f62e352d65ba6 2512880 acl2-doc_3.6.1-2_all.deb
c2285a1fc89d00c5494f48a02922728cfa2eaeae 20543884 acl2_3.6.1-2_i386.deb
a503050d28dcde003de9ddc29bf07e94a69a11cf 390304 acl2-infix_3.6.1-2_i386.deb
ded9bef16c70fde092a2335ad2d85785c99205f2 30309802 acl2-books_3.6.1-2_i386.deb
Checksums-Sha256:
9df4f38b83c851e0bc092838e560e7217dd810cfaffde56172f6762e280e50ca 1182
acl2_3.6.1-2.dsc
50c22dad884649a702f2abd7b7b68378b6537bc463c05b413706769eaca2191e 15305
acl2_3.6.1-2.diff.gz
38e2294271390919339e7efaaaa051e8b20ea4456c29b10297ba3b9603943d05 2741390
acl2-source_3.6.1-2_all.deb
82e6b6ab43b676b2abc2e2a7fb7e84ce9d60ed4d0cf5d621cbcadd7c61a19ff3 57982
acl2-emacs_3.6.1-2_all.deb
c61a9317578b909c31522f7d12225c011ebaffbfb942b327ba35cf163d832626 89194
acl2-infix-source_3.6.1-2_all.deb
f4b0fa0326b8ad55a9b896cfc00dba2793f734cc374ed7a198a72837b668cd2d 5139730
acl2-books-source_3.6.1-2_all.deb
f51ae06546d734dc32879887015701206df223afbe60e6e981ac6bf4a30aff58 2012934
acl2-books-certs_3.6.1-2_all.deb
72204417c6b56e2936f50459053be10b4f45f59c5ca32ec7ae632953e72fd5ed 2512880
acl2-doc_3.6.1-2_all.deb
81ac9c8b0bf0f40e0f64414dac1602a1f62b03398e850ab88472bdce3c06f3ad 20543884
acl2_3.6.1-2_i386.deb
5c11b33b2dc921f619072dfc66ca6391ffbe896bdbd8dbf5bf6a5b32e03239c0 390304
acl2-infix_3.6.1-2_i386.deb
be6508631192f018fcb3062ade11cdef74c151af568b984dbcb1a1c536013254 30309802
acl2-books_3.6.1-2_i386.deb
Files:
047215c95874f862b237a72b10c9a3af 1182 math optional acl2_3.6.1-2.dsc
6abbcc3a02274b9853c1649d0514225f 15305 math optional acl2_3.6.1-2.diff.gz
4b09038dfd1d97f8143434994a99a8a7 2741390 math optional
acl2-source_3.6.1-2_all.deb
15932e5b0668f515eae00c7ef230d43d 57982 math optional acl2-emacs_3.6.1-2_all.deb
ff69b8987238f00d98812a34d4c29152 89194 math optional
acl2-infix-source_3.6.1-2_all.deb
290bd5744ddcc45def6e7ac49670be55 5139730 math optional
acl2-books-source_3.6.1-2_all.deb
419a907e5b450ceb212165f432bee228 2012934 math optional
acl2-books-certs_3.6.1-2_all.deb
63a7825f45e78ebc02e5be7f87cd9e58 2512880 doc optional acl2-doc_3.6.1-2_all.deb
78949c5bdefcf18cc1ea9748b9abc107 20543884 math optional acl2_3.6.1-2_i386.deb
2bbbbb3f996df6f9000f495693e6f6b4 390304 math optional
acl2-infix_3.6.1-2_i386.deb
8548c552a67bef60de9f1d693cc17e8b 30309802 math optional
acl2-books_3.6.1-2_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAkwRG90ACgkQczG1wFfwRdwNhQCfaiQccZbL5vC+Eze19L9uC/Og
gfYAnR8GCH4kOqnoXjOG1ixL87izzoWk
=Lbtm
-----END PGP SIGNATURE-----
--- End Message ---
