Bug#1125220: elpa-agda2-mode: move agda2 dependencies to Suggests

[Xiyue Deng]

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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 857 bytes
Desc: not available
URL: <http://alioth-lists.debian.net/pipermail/pkg-haskell-maintainers/attachments/20260110/9378441b/attachment.sig>