The camlp5 home page has been moved to https://camlp5.github.io/