Bug#935635: elpa-agda2-mode: please rebuild against dh_elpa >= 1.16

[David Bremner]

Package: elpa-agda2-mode
Severity: important

dh_elpa 1.16 fixes a minor security issue.

I'd do it myself, but agda is currently unbuildable for me.


-- System Information:
Debian Release: bullseye/sid
  APT prefers unstable-debug
  APT policy: (500, 'unstable-debug'), (500, 'testing-debug'), (500, 'testing'), (1, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 5.2.0-2-amd64 (SMP w/8 CPU cores)
Locale: LANG=en_CA.UTF-8, LC_CTYPE=en_CA.UTF-8 (charmap=UTF-8), LANGUAGE=en_CA:en (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled

Versions of packages elpa-agda2-mode depends on:
pn  agda-bin         <none>
ii  emacsen-common   3.0.4
pn  libghc-agda-dev  <none>

Versions of packages elpa-agda2-mode recommends:
ii  emacs              1:26.1+1-3.3
ii  emacs-gtk [emacs]  1:26.1+1-3.3

elpa-agda2-mode suggests no packages.