[Bug 356676] Re: fails to build: "ls: cannot access euclid.cert: No such file or directory"

[Mark Reitblatt]

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
ubuntu-bugs at lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs