Version: 5
Template: gitlab
Dist: https://gitlab.inria.fr/flocq/flocq
