package.json

{
  "name": "jscoq",
  "version": "0.10.0-pre",
  "description": "Run the Coq Proof Assistant in your browser!",
  "main": "index.html",
  "dependencies": {
    "bootstrap": "^3.4.1",
    "codemirror": "^5.47.0",
    "commander": "^2.20.0",
    "find": "^0.3.0",
    "glob": "^7.1.3",
    "jquery": "^3.3.1",
    "jszip": "^3.1.5",
    "localforage": "^1.7.3",
    "minimatch": "^3.0.4",
    "neatjson": "^0.8.3",
    "path": "^0.12.7",
    "vue": "^2.6.10"
  },
  "devDependencies": {
    "browserify": "^16.2.3"
  },
  "repository": {
    "type": "git",
    "url": "git+https://github.com/ejgallego/jscoq.git"
  },
  "author": "ejgallego",
  "license": "AGPL-3.0-or-later",
  "bugs": {
    "url": "https://github.com/ejgallego/jscoq/issues"
  },
  "homepage": "https://github.com/ejgallego/jscoq#readme"
}