Galois local OPAM repository