vcswatch reports that
this package seems to have a new changelog entry (version
5.0.0-3, distribution
UNRELEASED) and new commits
in its VCS. You should consider whether it's time to make
an upload.
Here are the relevant commit messages:
commit 0d735f1aa0bd314d1549cf527e486bc33cef6918
Author: Xiyue Deng <manphiz@gmail.com>
Date: Sat Jan 10 21:44:50 2026 -0800
Drop ancient emacs versions in Recommends and Enhances
commit 533acdc5228b1fa10da8c4274976e0a73016ff50
Author: Xiyue Deng <manphiz@gmail.com>
Date: Sat Jan 10 21:45:36 2026 -0800
Add ${elpa:Depends} to Depends for elpa-agda2-mode
- This should give better ELPA support for Emacs addon packages.
commit 5b8440902272017bf63a732995124d951e845fb2
Author: Xiyue Deng <manphiz@gmail.com>
Date: Sat Jan 10 21:42:11 2026 -0800
Move agda dependencies from Depends to Suggests for elpa-agda2-mode
- This avoids pulling in the whole ghc stack when installing
elpa-agda2-mode and still provide editing support for agda2 in Emacs.