{
"name": "@jscoq/elpi",
"description": "coq-elpi",
"version": "v1.16.0",
"files": ["coq-pkgs"]
}