Version: 5
Template: gitlab
Dist: https://gitlab.inria.fr/gappa/coq
