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