Your message dated Wed, 09 Aug 2017 13:49:20 +0000
with message-id <e1dfrmo-000it7...@fasolo.debian.org>
and subject line Bug#870663: fixed in acl2 7.4dfsg-3.1
has caused the Debian Bug report #870663,
regarding acl2: {build-,}depends on obsolete emacs24
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.)


-- 
870663: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=870663
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: acl2
Version: 7.4dfsg-3
Severity: important
User: debian-emac...@lists.debian.org
Usertags: emacs24-removal

Dear maintainer,

Your package has a dependency and/or build dependency on emacs24, which will
shortly be removed from the archive.  Please update the package to depend on
emacs25 instead.

I have prepared an NMU of your package, transitioning it to use dh-elpa, and
will momentarily upload it to DELAYED/5.  Please let me know if I should delay
it further.  An nmudiff will follow-up this bug.

If this package need not build for xemacs, please also consider transitioning
the package to build using dh-elpa.  This will also avoid future bugs like this
one, since the Emacs major version is updated once, centrally, in dh-elpa.

Once the emacs24 removal process starts, this bug will be upgraded to RC
severity.

Thanks!

-- System Information:
Debian Release: buster/sid
  APT prefers testing
  APT policy: (900, 'testing'), (100, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 4.11.0-1-amd64 (SMP w/4 CPU cores)
Locale: LANG=en_GB.UTF-8, LC_CTYPE=en_GB.UTF-8 (charmap=UTF-8), 
LANGUAGE=en_GB.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)

-- 
Sean Whitton

Attachment: signature.asc
Description: PGP signature


--- End Message ---
--- Begin Message ---
Source: acl2
Source-Version: 7.4dfsg-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.

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 870...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Sean Whitton <spwhit...@spwhitton.name> (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...@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Thu, 03 Aug 2017 17:27:43 -0400
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
Version: 7.4dfsg-3.1
Distribution: unstable
Urgency: medium
Maintainer: Camm Maguire <c...@debian.org>
Changed-By: Sean Whitton <spwhit...@spwhitton.name>
Description:
 acl2       - Computational Logic for Applicative Common Lisp: main binary
 acl2-books - Computational Logic for Applicative Common Lisp: compiled librari
 acl2-books-certs - Computational Logic for Applicative Common Lisp: library 
certific
 acl2-books-source - Computational Logic for Applicative Common Lisp: library 
sources
 acl2-doc   - Computational Logic for Applicative Common Lisp: documentation
 acl2-emacs - Computational Logic for Applicative Common Lisp: emacs interface
 acl2-infix - Computational Logic for Applicative Common Lisp: infix interface
 acl2-infix-source - Computational Logic for Applicative Common Lisp: infix 
source
 acl2-source - Computational Logic for Applicative Common Lisp: source files
Closes: 870663
Changes:
 acl2 (7.4dfsg-3.1) unstable; urgency=medium
 .
   * Non-maintainer upload.
   * Bump {build-,}deps emacs24 -> emacs25 (Closes: #870663).
Checksums-Sha1:
 03b5cfd5256d09b1492cb6433cd99a0588361491 2367 acl2_7.4dfsg-3.1.dsc
 92edacb2e4447d51af26a59f6b71f753fbe9a26a 204744 acl2_7.4dfsg-3.1.debian.tar.xz
Checksums-Sha256:
 56e02f908ce8449102112581a12b6ddb4359eaa4a5ae022bc61fc18d805643b8 2367 
acl2_7.4dfsg-3.1.dsc
 6060bd0a75a7119c2e997bcf1479cb6550dfbe9f4cb0be0878c1a336b2f98e6f 204744 
acl2_7.4dfsg-3.1.debian.tar.xz
Files:
 0bda907d1ef8de51c6ba6f9e1e5d4e11 2367 math optional acl2_7.4dfsg-3.1.dsc
 85834c20b6784bad95025d2cfc004475 204744 math optional 
acl2_7.4dfsg-3.1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEm5FwB64DDjbk/CSLaVt65L8GYkAFAlmEcZEACgkQaVt65L8G
YkBGKxAAqd7viCpwGA4jyY8ZFE00t2gopqsXTo3mBOLF8Wv+UON75ZqA3cLEbDsu
LMw1fKh2R09kdSs0X2L1CDMAR6VEz+126b3BicNfGV0ccPCmBahNG4L0XOHnk3Qz
aGvUFb3nsAgYRpD+QILgVk53kQoWjnhacA3dnNtJQ+pIOI0fXhoQKmrg4yhmGEQB
gL3JPU4Ivp+QhYwZ7pEP+IbF2Il8XFwDh92grVKXQe/2bzhZTFwmayE2WKsZ5FzS
uSTJJkCD9l/NF5HUIDnzvMm4FUkwNxsmK2qQPiiz5B+K6aNjcgkWLd0fTHESZCRB
x/2tbPmWR9aRhMcKEKdP0yM7MTOx4y4cBiFllgjqaOT42lLGF/x/ZoU+tLGrNxdD
LF7dt/SUlrPOU+7nHTmbfCMpeqB7ZI/DkxSotftdX8gtX6p23wP7yTwTQVe0Z7tI
drQ9R2tsmAcnbO5ReVpObERrQ0RSePWvzZ2EgYBCVy3Ykv5EI8N9MquIekQGYTaK
ImslrQIfzgiHBNSiOeWJIapsBAoE2AcZvh5/McA+rcCct587OVUgXAoQgVMXwfzr
07bv1Rvdvy3WGimkudboPwyUD52ega3kHP+LnPxDb3ddKi/FVwgKlurWi7U9calO
yVgiD9APfkw9QrcxBqLGWzoyuGsLCNroVWMTUR7+FFshW6ajEmE=
=9r4+
-----END PGP SIGNATURE-----

--- End Message ---

Reply via email to