Your message dated Mon, 03 Dec 2007 17:32:05 +0000
with message-id <[EMAIL PROTECTED]>
and subject line Bug#430471: fixed in acl2 3.3-1
has caused the attached Bug report 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 I am
talking about this indicates a serious mail system misconfiguration
somewhere. Please contact me immediately.)
Debian bug tracking system administrator
(administrator, Debian Bugs database)
--- Begin Message ---
Package: acl2
Version: 3.2-1
Severity: normal
Tags: patch
Dear acl2 maintainer,
Please update your debian/control so your package would be binNMU safe.
A patch is attched.
More info at: http://wiki.debian.org/binNMU
-- System Information:
Debian Release: lenny/sid
APT prefers unstable
APT policy: (500, 'unstable')
Architecture: i386 (i686)
Kernel: Linux 2.6.18-4-k7 (SMP w/1 CPU core)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash
Versions of packages acl2 depends on:
ii libc6 2.5-11 GNU C Library: Shared libraries
pn libgmp3 <none> (no description available)
ii libncurses5 5.6-3 Shared libraries for terminal hand
pn libreadline4 <none> (no description available)
Versions of packages acl2 recommends:
pn acl2-books <none> (no description available)
pn acl2-emacs <none> (no description available)
pn acl2-source <none> (no description available)
--- /tmp/control 2007-06-24 23:58:26.000000000 +0300
+++ debian/control 2007-06-25 00:08:31.000000000 +0300
@@ -28,7 +28,7 @@
Package: acl2-emacs
Architecture: all
-Depends: acl2 (= ${Source-Version}), emacs21 | emacsen
+Depends: acl2 (>= ${source:Version}), emacs21 | emacsen
Conflicts: acl2 (<= 2.7-9)
Replaces: acl2 (<= 2.7-9)
Description: A Computational Logic for Applicative Common Lisp: emacs interface
@@ -39,8 +39,8 @@
Package: acl2-infix
Architecture: any
-Recommends: acl2-infix-source (= ${Source-Version})
-Depends: acl2 (= ${Source-Version}), ${shlibs:Depends}, tetex-extra
+Recommends: acl2-infix-source (= ${source:Version})
+Depends: acl2 (= ${binary:Version}), ${shlibs:Depends}, tetex-extra
Conflicts: acl2 (<= 2.7-9)
Replaces: acl2 (<= 2.7-9)
Description: A Computational Logic for Applicative Common Lisp: infix interface
@@ -64,7 +64,7 @@
Package: acl2-books
Architecture: any
-Depends: acl2 (= ${Source-Version}),${shlibs:Depends}, acl2-books-certs (=
${Source-Version}), acl2-books-source (= ${Source-Version})
+Depends: acl2 (= ${binary:Version}),${shlibs:Depends}, acl2-books-certs (=
${source:Version}), acl2-books-source (= ${source:Version})
Conflicts: acl2 (<= 2.7-9)
Replaces: acl2 (<= 2.7-9)
Description: A Computational Logic for Applicative Common Lisp: compiled
libraries
@@ -77,7 +77,7 @@
Package: acl2-books-source
Architecture: all
-Depends: acl2 (= ${Source-Version})
+Depends: acl2 (>= ${source:Version})
Conflicts: acl2 (<= 2.7-9)
Replaces: acl2 (<= 2.7-9)
Description: A Computational Logic for Applicative Common Lisp: library sources
@@ -89,7 +89,7 @@
Package: acl2-books-certs
Architecture: all
-Depends: acl2 (= ${Source-Version})
+Depends: acl2 (>= ${source:Version})
Conflicts: acl2 (<= 2.7-9)
Replaces: acl2 (<= 2.7-9)
Description: A Computational Logic for Applicative Common Lisp: library
certificates
--- End Message ---
--- Begin Message ---
Source: acl2
Source-Version: 3.3-1
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.3-1_all.deb
to pool/main/a/acl2/acl2-books-certs_3.3-1_all.deb
acl2-books-source_3.3-1_all.deb
to pool/main/a/acl2/acl2-books-source_3.3-1_all.deb
acl2-books_3.3-1_i386.deb
to pool/main/a/acl2/acl2-books_3.3-1_i386.deb
acl2-doc_3.3-1_all.deb
to pool/main/a/acl2/acl2-doc_3.3-1_all.deb
acl2-emacs_3.3-1_all.deb
to pool/main/a/acl2/acl2-emacs_3.3-1_all.deb
acl2-infix-source_3.3-1_all.deb
to pool/main/a/acl2/acl2-infix-source_3.3-1_all.deb
acl2-infix_3.3-1_i386.deb
to pool/main/a/acl2/acl2-infix_3.3-1_i386.deb
acl2-source_3.3-1_all.deb
to pool/main/a/acl2/acl2-source_3.3-1_all.deb
acl2_3.3-1.diff.gz
to pool/main/a/acl2/acl2_3.3-1.diff.gz
acl2_3.3-1.dsc
to pool/main/a/acl2/acl2_3.3-1.dsc
acl2_3.3-1_i386.deb
to pool/main/a/acl2/acl2_3.3-1_i386.deb
acl2_3.3.orig.tar.gz
to pool/main/a/acl2/acl2_3.3.orig.tar.gz
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 [EMAIL PROTECTED],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Camm Maguire <[EMAIL PROTECTED]> (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 [EMAIL PROTECTED])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Mon, 03 Dec 2007 10:10:09 -0500
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: 3.3-1
Distribution: unstable
Urgency: low
Maintainer: Camm Maguire <[EMAIL PROTECTED]>
Changed-By: Camm Maguire <[EMAIL PROTECTED]>
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: 430471 434915 440353
Changes:
acl2 (3.3-1) unstable; urgency=low
.
* New upstream release
* build-dep on latest gcl to get arm build
* Bug fix: "acl2's idea of the system book path is wrong", thanks to
Sami Liedes (Closes: #440353). Apply suggested fix to wrapper script,
Thanks!
* Bug fix: "acl2-emacs: please prefer emacs22", thanks to Tatsuya
Kinoshita (Closes: #434915). prefer emacs22
* Bug fix: "acl2: not binNMU safe", thanks to Lior Kaplan (Closes:
#430471). Apply suggested patch, Thanks!
* build-dep texlive-latex-recommended
Files:
cd5c565ffb39161847ee959c15f650dd 811 math optional acl2_3.3-1.dsc
ec026b72d47d839539ef152ba0784c27 7318498 math optional acl2_3.3.orig.tar.gz
9df68c9351a07d91b5d2939cdce32a87 13522 math optional acl2_3.3-1.diff.gz
ae5afcf37bdac945dad9876c6f9b8a4f 2484088 math optional
acl2-source_3.3-1_all.deb
86da33b65e4083731fbd1243f5c8f664 54416 math optional acl2-emacs_3.3-1_all.deb
19e19b6b4a1120a6542d3819576b9b8a 85598 math optional
acl2-infix-source_3.3-1_all.deb
26baa2c79495807818dd999c2f0614b1 2441412 math optional
acl2-books-source_3.3-1_all.deb
fd15fde81e21690789dc82efd6085831 1241888 math optional
acl2-books-certs_3.3-1_all.deb
aaafd3f881967261aebac00401785e3b 2157140 doc optional acl2-doc_3.3-1_all.deb
c80dc056aaa5320bfadad7dd1142b233 16892330 math optional acl2_3.3-1_i386.deb
3f8f7038ad75377bee9cf546e1ddec39 170482 math optional acl2-infix_3.3-1_i386.deb
5064abdfdbd124190aa1ea1d9dca8a84 4590788 math optional
acl2-books_3.3-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFHVDj7czG1wFfwRdwRAu7PAJ9WpMSHWJeh2i2aVjV78p135XLFZACff37V
zhqqIpnCwd1SkFeLi7JJAII=
=svkk
-----END PGP SIGNATURE-----
--- End Message ---
