Thanks for reporting this issue. This still happens with acl2 version 6.4-3 on Ubuntu Utopic. I added the tag "ftbfs" so that this bug report will show up on http://qa.ubuntuwire.com/ftbfs/.
** Tags added: ftbfs utopic -- 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
