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.