Your message dated Sun, 16 Nov 2014 17:03:53 +0000 with message-id <e1xq3ev-0006ox...@franck.debian.org> and subject line Bug#768619: fixed in proofgeneral 4.3~pre131011-0.2 has caused the Debian Bug report #768619, regarding proofgeneral: FTBFS in jessie: build-dependency not installable: emacs23-nox 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.) -- 768619: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=768619 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---Source: proofgeneral Version: 4.3~pre131011-0.1 Severity: serious Tags: jessie sid User: debian...@lists.debian.org Usertags: qa-ftbfs-20141108 qa-ftbfs Justification: FTBFS in jessie on amd64 Hi, During a rebuild of all packages in jessie (in a jessie chroot, not a sid chroot), your package failed to build on amd64. Relevant part (hopefully): > ┌──────────────────────────────────────────────────────────────────────────────┐ > │ 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: emacs23-nox 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/ftbfs-logs/2014/11/08/proofgeneral_4.3~pre131011-0.1_jessie.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.3~pre131011-0.2 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 768...@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. intrigeri <intrig...@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: SHA512 Format: 1.8 Date: Sun, 16 Nov 2014 17:46:59 +0100 Source: proofgeneral Binary: proofgeneral proofgeneral-doc Architecture: source all Version: 4.3~pre131011-0.2 Distribution: unstable Urgency: medium Maintainer: Hendrik Tews <hend...@askra.de> Changed-By: intrigeri <intrig...@debian.org> Description: proofgeneral - generic frontend for proof assistants proofgeneral-doc - generic frontend for proof assistants - documentation Closes: 768619 Changes: proofgeneral (4.3~pre131011-0.2) unstable; urgency=medium . * Non-maintainer upload. * Remove {build,runtime} alternative dependencies on emacs23*: Emacs 23 is not in testing/sid anymore, and sbuild always picks the first alternative, which made the package FTBFS (Closes: #768619). Checksums-Sha1: 03f99dbcb6d41a8f2f62b8692f6aa4df00cea2a5 1975 proofgeneral_4.3~pre131011-0.2.dsc 24827e3c4bbaec6164ea943372f078b399c5ce98 19412 proofgeneral_4.3~pre131011-0.2.debian.tar.xz df6985875fcbc306239a71713702090151ac677a 375316 proofgeneral_4.3~pre131011-0.2_all.deb a2f307d85a3279341f152b8050affcccf6149195 687198 proofgeneral-doc_4.3~pre131011-0.2_all.deb Checksums-Sha256: 2513cfb94a9ab53e39caa6ea2f9772f10a6024398a4b938353162b2806a0f394 1975 proofgeneral_4.3~pre131011-0.2.dsc 80a6c72d5966c261065e9732aa2b649284ccc71ffd26ae01cab4d5991196f2ba 19412 proofgeneral_4.3~pre131011-0.2.debian.tar.xz 74341c40658b0b50fb457c20481f7571ff66dc1ba90352f8c8c2975cd2ba6155 375316 proofgeneral_4.3~pre131011-0.2_all.deb 27078e60d8adf183b5ffc22fd24381d55c132cef8083da582fa4f21f40e5ab42 687198 proofgeneral-doc_4.3~pre131011-0.2_all.deb Files: 15cccb1b5689a52265b51f6d008f7271 1975 editors optional proofgeneral_4.3~pre131011-0.2.dsc 29de48e6198c2199b9ec0add421be13c 19412 editors optional proofgeneral_4.3~pre131011-0.2.debian.tar.xz 60af668aa4f9bd6243eb34af468cbdc9 375316 editors optional proofgeneral_4.3~pre131011-0.2_all.deb df0342d1fd7f484da10b0453456bf5b9 687198 doc optional proofgeneral-doc_4.3~pre131011-0.2_all.deb -----BEGIN PGP SIGNATURE----- iQIcBAEBCgAGBQJUaNXrAAoJELrOFdKldJj/iTwQANMcs7wzEebOd7xxTVnBVLcC qmMJjYELjrU07bsZsKPYPPOD6WnRCoCaO8pf55t1OlQXWvqX0bYkeGrsBQ/Pp5JN mMT2Ec83bNneVth54ZKsNYs1Qqu0fIURc4NnnjX8X8We4rOJG7bGHeL8DYt5egl1 C7ObHnhwuPgytYHaqEzadqESbPqiXPv7ys9LCv4BzHCnVxI7yteAcC94K+pluopB Er/GxmmxRc/JUWlKJv/mkOxon3IV3zD/uoFOUZltqCvG+J71U0ABKqeJUc4sxGzp P8Gb9/V40fJWmIRCQ0zWX4fcXaUVvSsy6wxoQeZxDgTx3KAvP16MF08suh4ANDGm 5epyrXUp4VVbCvG2stQOozD3zlCuVCOvnWJWF4o30TrexPz8dANljpXqnmuZbspa dCJ0G+cNs8TosADW3wgXseuGKUsKv5XzMM0PVJVjTPZU/jn//+miXViVxkJbLPFV qqLzITpUDkvfj4ZFKIhusbZi4wybUbpHbQIjyyV9NnTVgpVMZbnfN71y1BPqvczZ 2rv685AMsD8psknpKh2Gk44lNeJ9Wm5N3O3YMOoAmU5zS6/KzSALLtpO4qEEfe9j q6G9ra+d1OKFJzvevJ46TbQx1JzslF/ig33MWLvig0936XH4pUSIAZV4nlAri7zc iC6v/VUM+nc/oqUMB/FO =wLyC -----END PGP SIGNATURE-----
--- End Message ---
