Package: agda Version: 2.6.1-1 Severity: wishlist X-Debbugs-Cc: smim...@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
