package.json

{
  "name": "PeaCoq",
  "description": "A web front-end for Coq, with benefits",
  "author": "Valentin Robert <vrobert@cs.ucsd.edu>",
  "license": "MIT",
  "repository": "http://github.com/Ptival/PeaCoq",
  "dependencies": {
    "ace-code-editor": "^1.2.3",
    "bluebird": "^3.4.7",
    "bootstrap": "^4.1.3",
    "codemirror": "^5.39.2",
    "d3-hierarchy": "^1.0.3",
    "d3-interpolate": "^1.1.3",
    "d3-path": "^1.0.3",
    "d3-scale": "^2.1.0",
    "d3-selection": "^1.0.3",
    "d3-transition": "^1.0.2",
    "jquery": "^3.1.1",
    "jquery-contextmenu": "^2.7.0",
    "jquery-ui": "^1.12.1",
    "jquery.hotkeys": "^0.1.0",
    "jss-browserify": "^0.6.0",
    "lodash": "^4.17.4",
    "mathjax": "^2.7.5",
    "npm": "^6.4.0",
    "npm-check-updates": "2.14.2",
    "popper.js": "^1.14.4",
    "react": "^16.4.2",
    "react-dom": "^16.4.2",
    "requirejs": "^2.3.2",
    "rx": "^4.1.0",
    "s-expression": "^3.0.3",
    "tslint": "^5.11.0",
    "tsmonad": "^0.8.0",
    "typescript": "^3.0.1",
    "typings": "^2.1.0",
    "w2ui": "^1.4.3"
  },
  "devDependencies": {
    "@types/ace": "0.0.40",
    "@types/bluebird": "^3.5.23",
    "@types/codemirror": "0.0.59",
    "@types/d3": "^5.0.0",
    "@types/d3-hierarchy": "^1.1.4",
    "@types/d3-interpolate": "^1.1.5",
    "@types/d3-path": "^1.0.5",
    "@types/d3-scale": "^2.0.1",
    "@types/d3-selection": "^1.3.2",
    "@types/d3-transition": "^1.1.2",
    "@types/jquery": "^3.3.6",
    "@types/jquery.contextmenu": "^1.7.31",
    "@types/jss": "^9.5.4",
    "@types/lodash": "^4.14.116",
    "@types/mathjax": "0.0.34",
    "@types/react": "^17.0.15",
    "@types/react-dom": "^16.0.7",
    "@types/rx": "^4.1.1",
    "@types/tsmonad": "0.5.0",
    "@types/w2ui": "^1.4.30",
    "react-scripts": "1.1.4"
  },
  "scripts": {
    "start": "react-scripts start",
    "build": "react-scripts build",
    "test": "react-scripts test --env=jsdom",
    "eject": "react-scripts eject"
  }
}