[gf2x] source = 'gitlab' gitlab = 'gf2x/gf2x' host = 'gitlab.inria.fr' use_max_tag = true prefix = 'gf2x-'