Package: elpa-agda2-mode Version: 2.6.4.3-1 Severity: wishlist Dear Maintainer,
I would like to suggest moving the agda dependencies in elpa-agda2-mode from Depends to Suggests. Currently the meta package emacs-editing-major-modes Recommends elpa-agda2-mode as part of the initiative to make Emacs in Debian support most editing major modes by default (also stated in the package descriptions). However, some users complains that it pulls in too many dependencies that takes too much disk space. elpa-agda2-mode Depends on agda-bin and libghc-agda-dev and hence pulls in many ghc dependencies that may take hundreds of megabytes of disk space. While this may be a sensible choice, it would be better to provide users more choice on whether to install the ghc stack, and it would help users that just want to have editing support for agda file, or people using external tools that don't necessarily use the ones that Debian ship. Thanks in advance for considering! -- System Information: Debian Release: forky/sid APT prefers unstable APT policy: (500, 'unstable'), (500, 'testing'), (200, 'experimental') Architecture: amd64 (x86_64) Kernel: Linux 6.18.3+deb14-amd64 (SMP w/2 CPU threads; PREEMPT) Locale: LANG=C.UTF-8, LC_CTYPE=C.UTF-8 (charmap=UTF-8), LANGUAGE not set Shell: /bin/sh linked to /usr/bin/dash Init: systemd (via /run/systemd/system) LSM: AppArmor: enabled -- Regards, Xiyue Deng
signature.asc
Description: PGP signature
