agda install fails due to missing annotation package

[Patrick Uftring]

When trying to install agda and emacs on Kubuntu 22.10, I get the following error message:

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 elpa-agda2-mode (--configure):
 installed elpa-agda2-mode package post-installation script subprocess returned error exit status 1
Setting up agda-stdlib (1.7.1-1) ...
dpkg: dependency problems prevent configuration of agda:
 agda depends on elpa-agda2-mode; however:
  Package elpa-agda2-mode is not configured yet.

dpkg: error processing package agda (--configure):
 dependency problems - leaving unconfigured
Processing triggers for libc-bin (2.36-0ubuntu4) ...
No apport report written because the error message indicates its a followup error from a previous failure.
                                                                                                          Processing triggers for man-db (2.10.2-2) ...
Processing triggers for install-info (6.8-6) ...
Errors were encountered while processing:
 elpa-agda2-mode
 agda
E: Sub-process /usr/bin/dpkg returned an error code (1)

[Hans Joachim Desserud (hjd)]

Thanks for reporting.

Marking confirmed based on testing on 22.10. Also, I found a corresponding Debian bug, see the attached bug watch.