Your message dated Thu, 25 Jul 2019 08:39:46 +0000
with message-id <e1hqzhu-000bu6...@fasolo.debian.org>
and subject line Bug#880285: fixed in proofgeneral 4.4.1~pre170114-1.1
has caused the Debian Bug report #880285,
regarding proofgeneral: FTBFS: build-dependency not installable: 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.)
--
880285: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=880285
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: proofgeneral
Version: 4.4.1~pre170114-1
Severity: serious
Tags: buster sid
User: debian...@lists.debian.org
Usertags: qa-ftbfs-20171030 qa-ftbfs
Justification: FTBFS on amd64
Hi,
During a rebuild of all packages in sid, your package failed to build on
amd64.
Relevant part (hopefully):
> +------------------------------------------------------------------------------+
> | Install package build dependencies
> |
> +------------------------------------------------------------------------------+
>
>
> Setup apt archive
> -----------------
>
> Merged Build-Depends: debhelper (>= 9), texinfo, texlive-latex-recommended,
> texlive-generic-recommended, texlive-fonts-recommended, emacs24 | emacs25
> Filtered Build-Depends: debhelper (>= 9), texinfo, texlive-latex-recommended,
> texlive-generic-recommended, texlive-fonts-recommended, emacs24
> dpkg-deb: building package 'sbuild-build-depends-proofgeneral-dummy' in
> '/<<BUILDDIR>>/resolver-127UgX/apt_archive/sbuild-build-depends-proofgeneral-dummy.deb'.
> dpkg-scanpackages: warning: Packages in archive but missing from override
> file:
> dpkg-scanpackages: warning: sbuild-build-depends-core-dummy
> sbuild-build-depends-proofgeneral-dummy
> dpkg-scanpackages: info: Wrote 2 entries to output Packages file.
> Ign:1 copy:/<<BUILDDIR>>/resolver-127UgX/apt_archive ./ InRelease
> Get:2 copy:/<<BUILDDIR>>/resolver-127UgX/apt_archive ./ Release [963 B]
> Ign:3 copy:/<<BUILDDIR>>/resolver-127UgX/apt_archive ./ Release.gpg
> Get:4 copy:/<<BUILDDIR>>/resolver-127UgX/apt_archive ./ Sources [536 B]
> Get:5 copy:/<<BUILDDIR>>/resolver-127UgX/apt_archive ./ Packages [615 B]
> Fetched 2114 B in 0s (0 B/s)
> Reading package lists...
> Reading package lists...
>
> Install proofgeneral build dependencies (apt-based resolver)
> ------------------------------------------------------------
>
> Installing build dependencies
> Reading package lists...
> Building dependency tree...
> Reading state information...
> Some packages could not be installed. This may mean that you have
> requested an impossible situation or if you are using the unstable
> distribution that some required packages have not yet been created
> or been moved out of Incoming.
> The following information may help to resolve the situation:
>
> The following packages have unmet dependencies:
> sbuild-build-depends-proofgeneral-dummy : Depends: emacs24 but it is not
> installable
> E: Unable to correct problems, you have held broken packages.
> apt-get failed.
The full build log is available from:
http://aws-logs.debian.net/2017/10/30/proofgeneral_4.4.1~pre170114-1_unstable.log
A list of current common problems and possible solutions is available at
http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute!
About the archive rebuild: The rebuild was done on EC2 VM instances from
Amazon Web Services, using a clean, minimal and up-to-date chroot. Every
failed build was retried once to eliminate random failures.
--- End Message ---
--- Begin Message ---
Source: proofgeneral
Source-Version: 4.4.1~pre170114-1.1
We believe that the bug you reported is fixed in the latest version of
proofgeneral, 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 880...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Gianfranco Costamagna <locutusofb...@debian.org> (supplier of updated
proofgeneral 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, 25 Jul 2019 10:15:05 +0200
Source: proofgeneral
Binary: proofgeneral proofgeneral-doc
Architecture: source
Version: 4.4.1~pre170114-1.1
Distribution: unstable
Urgency: medium
Maintainer: Hendrik Tews <hend...@askra.de>
Changed-By: Gianfranco Costamagna <locutusofb...@debian.org>
Description:
proofgeneral - generic frontend for proof assistants
proofgeneral-doc - generic frontend for proof assistants - documentation
Closes: 880285
Changes:
proofgeneral (4.4.1~pre170114-1.1) unstable; urgency=medium
.
* Non-maintainer upload
* Switch to unversioned emacs-gtk package (Closes: #880285)
Checksums-Sha1:
d7ceb57ad1abd42429b25ab40cce2c0734188345 1989
proofgeneral_4.4.1~pre170114-1.1.dsc
bfe218c8b98f187a2582bf1c5ddae6e8374d2df0 19808
proofgeneral_4.4.1~pre170114-1.1.debian.tar.xz
032f0c9f46228be109b88d35f9b49162a40e7873 10256
proofgeneral_4.4.1~pre170114-1.1_source.buildinfo
Checksums-Sha256:
f031bc83bcf7eee4694960d04eb56e69d5a0f5a7effafdd6abb15ece18586621 1989
proofgeneral_4.4.1~pre170114-1.1.dsc
7392f5100931811fecd760fda816df2366998ba99c1566fd15b947e972f65dce 19808
proofgeneral_4.4.1~pre170114-1.1.debian.tar.xz
dbfc0a927e9b01aeded85fc9e76e1dda1e2e251112043e1bb469f5b10df50b7d 10256
proofgeneral_4.4.1~pre170114-1.1_source.buildinfo
Files:
b2ca440673e5dcefbcc17882c6974b9a 1989 editors optional
proofgeneral_4.4.1~pre170114-1.1.dsc
6c22be8420d5e143313d443aafe4cc2e 19808 editors optional
proofgeneral_4.4.1~pre170114-1.1.debian.tar.xz
89d09459aa84238c511c5e8b0d270b10 10256 editors optional
proofgeneral_4.4.1~pre170114-1.1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl05Zb8ACgkQ808JdE6f
XdkINQ//WwdKeT/ls+uYMCo3B6EzIMWr5jKIKodAPPurkTWvKNhBKwyBv9JYyVd0
HlvtA2QIWDUu9azHMal/I7RA+4HnLPx9s3ii8VBEeU4x+lExq5rI/gFA/kXXrJNX
Q8OAguatwFhq7VkUdvI+YfDaFhpKjJfeyfBirCNIYTPZsdpChd4UvyqP9YPae7wM
v17rYCOMTbr513C8nZP6PBTxnytL6/yS4oj34Bwbz1B+34AuQRS49pyDt6wj86Ax
1gcBR9p+XZVDZVyEcjKTInHWFWHoPRR75Vz8fLXhbZPwEk4uqroayflKwToowcIj
SnWw6AXA65ic+1b8R2VJVw0PBu0X4gh9YCPRdDn6N0/+ZRRBs4GY7IkWrgJXh86q
qIKQDuExGgotnRewA3JdyxHNAMOqsN6HDhSMF/bnrS7Inv3kUQrdZx5r/taPpuKk
ZoukChR+k3gdMsKZG7ACxD+6XgZFdhOKLYlFI5DWh1CPtO5zAKnK49EoubgTYwJC
gxUHUUc8SiIxA9iMRD7HtghHCK6R0Keg9DK4pbhESXHtEcyLvN2A4DCvClB26KCv
McQ50QjH19VpW50JKofYJikUalY26CXItK8KWimLpdA2n8ABXBf4l91/y26TXzfg
1QGu35zQ4TUof9ytjo3d9cLbG7c7QG+nuybPsUltuQxEBBVnTAg=
=a0q3
-----END PGP SIGNATURE-----
--- End Message ---
