{
"name": "@jscoq/hierarchy-builder",
"description": "coq-hierarchy-builder",
"version": "v1.4.0",
"files": ["coq-pkgs"]
}