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