(That is to say, it is still missing gcl on these architectures. It doesn't seem to be locking the builders)
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1293125 Title: [arm64] [ppc64el] builders locked due to: Missing build dependencies: gcl To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/acl2/+bug/1293125/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
