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
