{
  "dependencies": {
    "@jscoq/algebra-tactics": "file:../addons/algebra-tactics/jscoq-algebra-tactics-v0.0.0.tgz",
    "@jscoq/elpi": "file:../addons/elpi/jscoq-elpi-v1.16.0.tgz",
    "@jscoq/hierarchy-builder": "file:../addons/hierarchy-builder/jscoq-hierarchy-builder-v1.4.0.tgz",
    "@jscoq/mathcomp": "file:../addons/mathcomp/jscoq-mathcomp-2.0.0.tgz",
    "@jscoq/mczify": "file:../addons/mczify/jscoq-mczify-v0.0.0.tgz",
    "jscoq": "file:../jscoq/_build/dist/jscoq-0.16.1.tgz"
  }
}