[opam] # Repositories are listed in priority order. # Later repositories take priority over earlier ones for duplicate packages. repositories = [ { name = "default", path = "/workspace/opam/opam-repository" }, { name = "aoah", path = "/workspace/opam/aoah-opam-repo" }, # Remote URLs (not yet implemented): # { name = "remote", url = "git+https://github.com/org/opam-repo.git" }, ]