1 2 3 4 5 6
[dune-functions] source = "gitlab" gitlab = "staging/dune-functions" host = "gitlab.dune-project.org" use_max_tag = true prefix = "v"