Your message dated Thu, 31 Oct 2019 18:04:58 +0000
with message-id <e1iqeoc-0006b8...@fasolo.debian.org>
and subject line Bug#941641: fixed in acl2 8.1dfsg-4
has caused the Debian Bug report #941641,
regarding acl2: Build-Depends on emacs25 which has been removed from 
unstable/bullseye
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.)


-- 
941641: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=941641
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: acl2
Version: 8.0dfsg-1
Severity: serious
Tags: ftbfs sid bullseye
Justification: ftbfs

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Dear maintainer,

You package Build-Depends on "emacs25 | emacsen". For reproducibility reasons,
the Debian buildds only consider the first alternative. The emacs25 has been a
transitional package in buster, and src:emacs has recently stopped building
that package. Please update your Build-Depends.

This all came about because your package is part of the readline transition,
but it FTBFS on mipsel now.

Paul

PS: your package isn't migrating because you uploaded an arch:all
binary. Please do a source-only upload when you fix this issue.

- -- System Information:
Debian Release: bullseye/sid
  APT prefers testing
  APT policy: (990, 'testing'), (500, 'testing-debug')
Architecture: amd64 (x86_64)

Kernel: Linux 5.2.0-2-amd64 (SMP w/2 CPU cores)
Kernel taint flags: TAINT_PROPRIETARY_MODULE, TAINT_WARN, TAINT_OOT_MODULE, 
TAINT_UNSIGNED_MODULE
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8), 
LANGUAGE=en_US:en (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled

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

iQEzBAEBCAAdFiEEWLZtSHNr6TsFLeZynFyZ6wW9dQoFAl2VuEkACgkQnFyZ6wW9
dQoXcwf/RrWQfP6v0BeScTnd3LU6dznMK1p0ldlHrnRrOgLg8SjKrDVe9SaQm6JX
vvZXzUnhW/Vjdvk2BKqSlbUBCMo75ZY93cTNQDK9y6ht41dAfn3er/QDc5V44yA0
exW3rHJWUo4guTUeufvvWg3SZf4ooGkemjyHbppedPioNc9N7T7NyL8Qwt29L2l3
lHLVHrIK4dRuw3EMYaVI8fyrGkBHHU4oCi3Ljhck6hhjtt3ibITMkDt6yBFCmaih
Wg0qTCu1M5qmRlLTxE+IPkb3bOw8Kv3rc58tPbR6ktcl5KYJvvlZdg3uzA58isuZ
OPGqctPFxOElSxJcie43cSN3Dwafxg==
=3F00
-----END PGP SIGNATURE-----

--- End Message ---
--- Begin Message ---
Source: acl2
Source-Version: 8.1dfsg-4

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 941...@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...@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Thu, 31 Oct 2019 17:17:49 +0000
Source: acl2
Architecture: source
Version: 8.1dfsg-4
Distribution: unstable
Urgency: medium
Maintainer: Camm Maguire <c...@debian.org>
Changed-By: Camm Maguire <c...@debian.org>
Closes: 941641
Changes:
 acl2 (8.1dfsg-4) unstable; urgency=medium
 .
   * source-only upload
   * Bug fix: "Build-Depends on emacs25 which has been removed from
     unstable/bullseye", thanks to Paul Gevers (Closes: #941641).
Checksums-Sha1:
 4f38bae51376a9d2c9a74050725545944940b855 2247 acl2_8.1dfsg-4.dsc
 689c6feba87b806832168665e120de26a82789f9 205348 acl2_8.1dfsg-4.debian.tar.xz
 0889f90ba27f3e4ef241f80807a48d37f77d0be7 8337 acl2_8.1dfsg-4_source.buildinfo
Checksums-Sha256:
 b189350548fab88aa8a2cf0318b76d60d626a1fbc65e38e0613b2202fc55332f 2247 
acl2_8.1dfsg-4.dsc
 63d8c700489c76347aa855f07d0f59db209dfb7d1604c4f95c3222e063793adf 205348 
acl2_8.1dfsg-4.debian.tar.xz
 29fb2ab4712c5c6ecbd29dd57eee718b369622db774c9a6bae2dfd87d1d60b27 8337 
acl2_8.1dfsg-4_source.buildinfo
Files:
 29f4bfe94194d75d152d700a350523f6 2247 math optional acl2_8.1dfsg-4.dsc
 18d9e864658af90a3ab3c10245d76541 205348 math optional 
acl2_8.1dfsg-4.debian.tar.xz
 b73ea2d7391e3938192e82b8cbd6b63c 8337 math optional 
acl2_8.1dfsg-4_source.buildinfo

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

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAl27G3YACgkQuEXOUQ+b
cU1Uaw//Yt5CQ9TUPZKTOdr+xfBwRswUOZd6VgpCZ1gxBkgVzZLr2Bbsg9gZge36
jbnjadDgJ+O1U7d/RVBbArDigipl4sIrffKdCgJzHpiKOzyBY2J3pgUSl6nCsORi
hxtoYKSwn1zSAglkBNA27p1QlhqxZnftrMR1piy5vo62StvEVdqBnCLJpKa+BJyk
j2LBsvWZLE4+Wn8h7D7x6QgxEKIvBnAu4WyMCZj952Db/F3FS9Lu0bOXOEi1oj4X
f7vMBB0fYtMLeZfoCqQzwd/XP/WpZ/Jz56vJ55+KWE05+Cv7Y1alRb72GSaoLIgh
nfm+iRIjb6y5K8j9uf5a6YJKH4D1ngt1Tb9s4REhtAFp37ehSIatTQSauTHZsZl2
/sM9XG5G4kFjczY+422q9zVjxmTOraMEOCsUE/l3c/L4377FwQpYEdxrj7Z6VpOa
iOfykn1tCzI685E85qVA4dBY02kR95O3q5/8xofoT0z+9B0sl6tfP/m6SYkwbam4
sofr7QCGMCgym4lSS6rY9iueOCCQIRpeaWSd/+v2I/EK6LpOVzszVcWEXBI84njP
HDUQvJ8axXIianVZ5LTBwe/EkXN717lrauxgRK9rISk4xZd7Ez3UVvB0lYXPhEp0
VNMoBlmoW+GBTjW6s8jVHC8FTc83h9ZmTk3Q+2v493FsnIC8uAE=
=YyR7
-----END PGP SIGNATURE-----

--- End Message ---

Reply via email to