{
"name": "@jscoq/algebra-tactics",
"description": "coq-mathcomp-algebra-tactics",
"version": "v0.0.0",
"files": ["coq-pkgs"]
}