Description
Following the debian/ubuntu instructions here: http://opam.ocaml.org/doc/Quick_Install.html, but there were problems:
Err http://ppa.launchpad.net wheezy/main Sources
404 Not Found
Err http://ppa.launchpad.net wheezy/main amd64 Packages
404 Not Found
Ign http://ppa.launchpad.net wheezy/main Translation-en_US
Ign http://ppa.launchpad.net wheezy/main Translation-en
W: Failed to fetch http://ppa.launchpad.net/avsm/ppa/ubuntu/dists/wheezy/main/source/Sources 404 Not Found
W: Failed to fetch http://ppa.launchpad.net/avsm/ppa/ubuntu/dists/wheezy/main/binary-amd64/Packages 404 Not Found
E: Some index files failed to download. They have been ignored, or old ones used instead.
It would be a nice idea for the benefit of new users to add a section to this page on what to do when the unexpected (like the above) happens.