Since there are no reverse-dependencies outside the acl2 source package, I've removed the armhf binaries to allow the new source to progress into raring.
I did try to reproduce this myself, but got a different error (on a Nexus 7): Error: Caught fatal error [memory may be damaged] Fast links are on: do (si::use-fast-links nil) for debugging Error signalled by PROGN. Broken at SYSTEM:SAVE-SYSTEM. Type :H for Help. >>make: *** [saved_acl2] Error 255 -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1152898 Title: acl2 6.0-2 FTBFS on armhf To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/acl2/+bug/1152898/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
