{
"name": "@jscoq/mathcomp",
"description": "coq-mathcomp-{ssreflect,fingroup,algebra,solvable,field}",
"version": "2.0.0",
"files": ["coq-pkgs"]
}