package.json

{
  "name": "jscoq",
  "version": "0.12.2",
  "description": "A port of Coq to JavaScript -- run Coq in your browser",
  "bin": {
    "jscoq": "./cli.js"
  },
  "dependencies": {
    "array-equal": "^1.0.0",
    "assert": "^2.0.0",
    "bootstrap": "^3.4.1",
    "codemirror": "^5.49.2",
    "commander": "^5.0.0",
    "fflate-unzip": "^0.3.6-0",
    "find": "^0.3.0",
    "glob": "^7.1.3",
    "jquery": "^3.5.1",
    "jszip": "^3.5.0",
    "localforage": "^1.7.3",
    "minimatch": "^3.0.4",
    "mkdirp": "^1.0.4",
    "neatjson": "^0.8.3",
    "path": "^0.12.7",
    "vue": "^2.6.12",
    "vue-context": "^5.1.0"
  },
  "devDependencies": {
    "@types/find": "^0.2.1",
    "@types/mkdirp": "^1.0.1",
    "@types/node": "^13.11.1",
    "css-loader": "^3.4.2",
    "file-loader": "^6.0.0",
    "mocha": "^8.2.1",
    "sass": "^1.26.3",
    "sass-loader": "^8.0.2",
    "style-loader": "^1.1.3",
    "ts-loader": "^8.0.14",
    "typescript": "^3.8.3",
    "vue-loader": "^15.9.3",
    "vue-template-compiler": "^2.6.12",
    "webpack": "^5.19.0",
    "webpack-cli": "^4.4.0"
  },
  "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://jscoq.github.io"
}