I am adding a link to the upstream release notes here where it mentions our fix on dropping the optimise-heavily build flag in case anyone needs a future reference:
https://github.com/agda/agda/releases/tag/v2.8.0 -- 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
