vcswatch reports that
this package seems to have a new changelog entry (version
0.3.2.5-2, 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 dc16e2f750996887e66b0dea54fd8ed77b1aa729
Author: Grayson Wolf <grayson.wolf@canonical.com>
Date: Tue Sep 29 09:13:17 2026 -0400
agda: build without -foptimize-heavily on armhf