Hey, not sure if this is the right mailing list but FYI, I'm trying to install OPAM on a CentOS7 host but the link in the directions 404. https://opam.ocaml.org/doc/Install.html#Fedora-CentOS-and-RHEL /Malcolm