** Changed in: acl2 (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/1293125
Title:
[ppc64el] FTBFS
To manage notifications about this bug go to:
** Tags added: xenial
--
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:
[ppc64el] FTBFS
To manage notifications about this bug go to: