This bug was fixed in the package agda - 2.8.0-2maysync1
---------------
agda (2.8.0-2maysync1) stonking; urgency=medium
* d/rules: disable the optimise-heavily flag on armhf to fix OOM
during build (LP: #2168854).
-- Grayson Wolf <[email protected]> Mon, 28 Sep 2026 16:17:13
-0400
** Changed in: agda (Ubuntu)
Status: New => Fix Released
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/2168854
Title:
FTBFS on stonking armhf
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/agda/+bug/2168854/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
