Your message dated Tue, 06 Dec 2022 16:49:20 +0000 with message-id <[email protected]> and subject line Bug#1017415: fixed in agda 2.6.2.2-1.1 has caused the Debian Bug report #1017415, regarding elpa-agda2-mode: fails to install together with emacs 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 [email protected] immediately.) -- 1017415: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1017415 Debian Bug Tracking System Contact [email protected] with problems
--- Begin Message ---Package: elpa-agda2-mode Version: 2.6.2.2-1 Severity: grave Justification: installation failure when installed together with emacs Reproducer: mmdebstrap --variant=apt --include=emacs,elpa-agda2-mode --verbose unstable /dev/null Expected outcome: successful installation of both packages Actual outcome: | Setting up emacs-gtk (1:27.1+1-3.1+b1) ... | update-alternatives: using /usr/bin/emacs-gtk to provide /usr/bin/emacs (emacs) in auto mode | update-alternatives: using /usr/bin/emacs to provide /usr/bin/editor (editor) in auto mode | Install emacsen-common for emacs | emacsen-common: Handling install of emacsen flavor emacs | Install elpa-agda2-mode for emacs | install/agda2-mode-2.6.2.2: Handling install of emacsen flavor emacs | install/agda2-mode-2.6.2.2: byte-compiling for emacs | Unable to activate package ‘agda2-mode’. | Required package ‘annotation-1.0’ is unavailable | | In toplevel form: | agda2-highlight.el:12:1:Error: Cannot open load file: No such file or directory, annotation | | In toplevel form: | agda2-mode.el:39:1:Error: Cannot open load file: No such file or directory, eri | ERROR: install script from elpa-agda2-mode package failed | dpkg: error processing package emacs-gtk (--configure): | installed emacs-gtk package post-installation script subprocess returned error exit status 1 | dpkg: dependency problems prevent configuration of emacs: | emacs depends on emacs-gtk (>= 1:27.1) | emacs-lucid (>= 1:27.1) | emacs-nox (>= 1:27.1); however: | Package emacs-gtk is not configured yet. | Package emacs-lucid is not installed. | Package emacs-nox is not installed. | | dpkg: error processing package emacs (--configure): | dependency problems - leaving unconfigured | Processing triggers for libc-bin (2.34-3) ... | Errors were encountered while processing: | emacs-gtk | emacs | E: Sub-process env returned an error code (1) | E: run_chroot failed: E: apt-get -o Dir::Bin::dpkg=env -o DPkg::Options::=--unset=TMPDIR -o DPkg::Options::=dpkg -o DPkg::Chroot-Directory=/var/cache/pbuilder/build/mmdebstrap.Ezp6JEnDiC --yes install -oAPT::Status-Fd=<$fd> -oDpkg::Use-Pty=false elpa-agda2-mode emacs failed | W: listening on child socket failed: | I: removing tempdir /var/cache/pbuilder/build/mmdebstrap.Ezp6JEnDiC... | E: mmdebstrap failed to run Note that installing either emacs or elpa-agda2-mode alone works. That's why piuparts does not fail. If you believe that this is an issue in emacs itself, please reassign. Helmut
--- End Message ---
--- Begin Message ---Source: agda Source-Version: 2.6.2.2-1.1 Done: Marcel Fourné <[email protected]> We believe that the bug you reported is fixed in the latest version of agda, 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 [email protected], and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Marcel Fourné <[email protected]> (supplier of updated agda 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: SHA512 Format: 1.8 Date: Tue, 06 Dec 2022 16:57:40 +0100 Source: agda Architecture: source Version: 2.6.2.2-1.1 Distribution: unstable Urgency: high Maintainer: Debian Haskell Group <[email protected]> Changed-By: Marcel Fourné <[email protected]> Closes: 1017415 Changes: agda (2.6.2.2-1.1) unstable; urgency=high . * Non-maintainer upload. * add patch to remove internal agda-mode dependencies (Closes: #1017415) Checksums-Sha1: 14f4c0670b9434529fa66d6858b5da8ddec65752 4426 agda_2.6.2.2-1.1.dsc 33bb7cbd0922a523901c6ea7f3ad6f44d7b5d18b 10496 agda_2.6.2.2-1.1.debian.tar.xz b4563436deceb4f51531922469a17c2cb917dfb7 15836 agda_2.6.2.2-1.1_amd64.buildinfo Checksums-Sha256: 688f97cb03a82b93b7952ac8980a81ee5b9343fef1347ab58ca3cf1bc01d72ed 4426 agda_2.6.2.2-1.1.dsc 9b4bd529eb559f6f9908de33351eac2d7c179cb6c58ffc05e78f7e7b7896eacf 10496 agda_2.6.2.2-1.1.debian.tar.xz 75824fb22824089b60d3d2a4efd0e3ada58669f38b54ac57d1b5e42e977079c8 15836 agda_2.6.2.2-1.1_amd64.buildinfo Files: 63bc6c76f4997e927de42d119bac4514 4426 haskell optional agda_2.6.2.2-1.1.dsc e6a1d75ca8cdf3cdd80c8de19abb9e77 10496 haskell optional agda_2.6.2.2-1.1.debian.tar.xz 8542fc8e0f26c3c7cc4907e67d9577f5 15836 haskell optional agda_2.6.2.2-1.1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEETMLS2QqNFlTb+HOqLRqqzyREREIFAmOPbsIACgkQLRqqzyRE REJaaxAAjyl3zVr6qSsZkfffaCRDOVieJTFh/H5S5GBXbOh4EpvalXAv6t/CMMfQ Av6KOSBB6by8JnuaM8Y21M/6WCqlR7loiS5mhVxg0zLdIyf4oj2oJG7fJG7fkd+c g+pG8cK9G/Kuxi9SgNGI9ak+PpFUClj9d/3j0dcJjMj9Tc6JtjqrfYfjPaTtCv8e SA2ht4uVuPvXtqRpkNdMVSsfOCCOMrb57nl4+SZ3NZgvZLjzlm3e0lBNavjgNHeY sFvxUFnfjOWciTwkT77KRNe6Z6HP4JGp6BezPPSuS7p/MO7Nh/FJqDHkhke5iWg/ WAnIWMVKbGn6BPCTRQCJhTClL+/OBln2n4ofggtU0tm5ASSHDVIlPDFMHDhrpEpG KDCkxRjECnEhyRPAGy4xRcAWolf/uJtvLg0aOSUKhk7lJrBhVgzsdZKzcJ4I+Gpa 3++Wxx3fvypHFbwyL8kzLZ+xR7fDQRgbKTZQDGk0jrrLSJDcWGQxzvVfc7XyQu8S 94YiYD9L0w81l5wGboqLes+a2xjX3XtnkkGdoNodTgtVqolBQX6GM7dzKnbsslWd ty3lH5CChPKSPgAWfqK/Qu0skMchhF8cHMa9o1EcgO6IQ2Y7Ehpq4lNchf0AFM0L f/b6jUCPLFKFIxf0x27+vg2tsxUOu5w4u3rRE47i3hSUt0o5k6I= =qbWg -----END PGP SIGNATURE-----
--- End Message ---
