Bug#1003318: agda: Please package agda 2.6.2.1

[Samuel Mimram]

Package: agda
Version: 2.6.1-1
Severity: wishlist
X-Debbugs-Cc: smimram at gmail.com

It would be nice if you could package the latest upstream version (2.6.2.1 at
the time of writing). The currently packaged version is almost 2 years old and
many useful improvements have ben brought since then.

Thanks!


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

Kernel: Linux 5.10.0-8-amd64 (SMP w/8 CPU threads)
Kernel taint flags: TAINT_USER
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8), LANGUAGE=en_US:en
Shell: /bin/sh linked to /usr/bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled

Versions of packages agda depends on:
ii  agda-bin         2.6.1-1+b3
ii  agda-stdlib      1.3-2
ii  agda-stdlib-doc  1.3-2
ii  elpa-agda2-mode  2.6.1-1
ii  libghc-agda-dev  2.6.1-1+b3

agda recommends no packages.

agda suggests no packages.

-- no debconf information