The installation instructions for ACL2 have moved.

Here is an up-to-date link to the installation instructions.