Your message dated Sat, 14 Feb 2026 17:49:43 +0000
with message-id <[email protected]>
and subject line Bug#1125220: fixed in agda 2.8.0-1
has caused the Debian Bug report #1125220,
regarding elpa-agda2-mode: move agda2 dependencies to Suggests
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
1125220: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1125220
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
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
--- End Message ---
--- Begin Message ---
Source: agda
Source-Version: 2.8.0-1
Done: Scott Talbert <[email protected]>
We believe that the bug you reported is fixed in the latest version of
agda, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Scott Talbert <[email protected]> (supplier of updated agda package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 10 Feb 2026 15:35:03 -0500
Source: agda
Architecture: source
Version: 2.8.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Haskell Group
<[email protected]>
Changed-By: Scott Talbert <[email protected]>
Closes: 1125220
Changes:
agda (2.8.0-1) unstable; urgency=medium
.
[ Scott Talbert ]
* Build using dh-haskell
* New upstream release
.
[ Xiyue Deng ]
* Move agda dependencies from Depends to Suggests for elpa-agda2-mode
(Closes: #1125220)
* Add ${elpa:Depends} to Depends for elpa-agda2-mode
* Drop ancient emacs versions in Recommends and Enhances
Checksums-Sha1:
7b51009e67b53a5216676fc431dc6cc60e3bb38f 5931 agda_2.8.0-1.dsc
a53d37be8b37af97b655635f3a85f352528bc9ae 1951997 agda_2.8.0.orig.tar.gz
b4269672d8128519a72d3662440431f90fda0e4b 10572 agda_2.8.0-1.debian.tar.xz
3bdf1eb343e38ce56eb349ab7340358a2c028e8a 13190 agda_2.8.0-1_source.buildinfo
Checksums-Sha256:
bdf29082fc9e9611f4c1a2c95b93d3e251ec81969876b8313fe451d4c20bec88 5931
agda_2.8.0-1.dsc
86841907e78a5aafcf57b09edb7d50036f7de1b2217c8b58e2c57d6004969ba0 1951997
agda_2.8.0.orig.tar.gz
b68efd97629fc063aaf286b0cbfd9c181ee45090233b26c8b2055916ab7f0cff 10572
agda_2.8.0-1.debian.tar.xz
d8d868fd59ce29c13b2a94da6de56a4a6c96f5741814f875984d47018bd29441 13190
agda_2.8.0-1_source.buildinfo
Files:
6ac3e9d42478dbec64d6a78cdcae815e 5931 haskell optional agda_2.8.0-1.dsc
d8cca2bca1d80034f486ad499a00e5e9 1951997 haskell optional
agda_2.8.0.orig.tar.gz
902e13e8acc0e5abbaf3b95ccba8ad33 10572 haskell optional
agda_2.8.0-1.debian.tar.xz
da91a8ee4593dec211dc67ae74580699 13190 haskell optional
agda_2.8.0-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmmQsEUPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3ii00cP/AlJlrk2RI+kTJEWYGvzzwU6XswB/EUXjL6s
Zdk26vs7hEWqSSF/mJXUQt6ivPWCXdLLaz/p/LmXTQ6E5/Ujn//9BOYZXmG5j8QX
Jsm/A5wm5NuCa7n0Vr4Wn1klF6p/zm5z+TUeLd9/LD28eBFSuR56x+C/NZfKv0eJ
p2Dw9J6shrbs8L5IlJjkuFZP/2XAsotMCbXWn/mzaaYa8nD9Yr2a4eosM4R6VNu2
srBr+/Eb7rHMqTxT0ZqqAvrYceEWvslS5XrG4cwhAzhwlvIjsXlCT/LYpL+5tYc9
Y/RNGpUJPpNE/V+holOKRwUO2CX/ORyM8fkIn9XgLYIjS4xpw1h5DrMhuDURlEgp
69ZUa3LHYVURxsqXzs1BGlakhY+GHLwSj4t4hZhswopdz17VB9CVOWiwv+aFYxye
5Hi57KDM3EpD5+WsJiia0Wqstki7FqQaf9FofCAKhKmZf5TNLj76KS4MfKELY4fy
VFGyKqE0+bzc5GhbwUeO/sD0OEphPEqnwXdDZYnc0hhv1Dg6Cy3HL3lcs6j8s3uT
GX8egkLvXVSCUN8F47EBqXALxcM+VxZcGURSZ+ZnRKkUp3g2cS9/bn2KUp0ZJEOw
+mcRGLEQ0UecBWhRjyxzbrenLh3iVm3HGl4bYf2e+rXnMvrrGR1mr2lsVfSxTcMC
gzWL8YOy
=Bdup
-----END PGP SIGNATURE-----
pgpz0IK4dBwbD.pgp
Description: PGP signature
--- End Message ---
