1 2 3 4 5 6
[coin-or-asl] source = 'github' github = 'coin-or-tools/ThirdParty-ASL' use_max_tag = true include_regex = 'releases/.*' prefix = 'releases/'