Can you post the file /build/buildd/acl2-3.4/books/quadratic- reciprocity/euclid.out please?
-- fails to build: "ls: cannot access euclid.cert: No such file or directory" https://bugs.launchpad.net/bugs/356676 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
