Bug#1017415: elpa-agda2-mode: fails to install together with emacs

[Helmut Grohne]

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