package.json

{
  "name": "waterproof",
  "version": "0.6.1",
  "private": true,
  "description": "The Waterproof proof assistant.",
  "main": "background.js",
  "scripts": {
    "doc": "jsdoc src -r -d doc",
    "lint": "vue-cli-service lint",
    "test:unit": "vue-cli-service test:unit",
    "test-start": "mocha \"tests/e2e/*.e2e.js\" --timeout 100000 --bail",
    "electron:build": "vue-cli-service electron:build --publish never",
    "electron:serve": "vue-cli-service electron:serve",
    "electron:testserve": "vue-cli-service electron:serve --shutdown-on-pageload",
    "postinstall": "electron-builder install-app-deps",
    "postuninstall": "electron-builder install-app-deps",
    "prestart": "PowerShell scripts/install-if-missing.ps1",
    "start": "npm run electron:serve",
    "electron:generate-icons": "electron-icon-builder --input=./public/icon.png --output=build --flatten",
    "full-build": "npm install && npm run electron:generate-icons && npm run electron:build",
    "show-coverage": "cross-env NODE_ENV=coverage nyc vue-cli-service test:unit"
  },
  "repository": {
    "type": "git",
    "url": "git@github.com:impermeable/waterproof.git"
  },
  "keywords": [
    "coq",
    "electron",
    "proof"
  ],
  "author": "Waterproof dev team",
  "license": "AGPL-3.0-or-later",
  "devDependencies": {
    "@vue/cli-plugin-babel": "^3.12.1",
    "@vue/cli-plugin-eslint": "^3.12.1",
    "@vue/cli-plugin-unit-mocha": "^4.5.8",
    "@vue/cli-service": "^4.5.15",
    "@vue/compiler-sfc": "3.0.2",
    "@vue/test-utils": "^1.1.0",
    "babel-plugin-istanbul": "^5.2.0",
    "chai": "^4.2.0",
    "chai-as-promised": "^7.1.1",
    "chai-string": "^1.5.0",
    "cross-env": "^5.2.1",
    "electron": "11.5.0",
    "electron-builder": "22.10.5",
    "electron-debug": "^3.1.0",
    "electron-devtools-installer": "^3.1.0",
    "electron-icon-builder": "^1.0.2",
    "eslint": "^5.16.0",
    "eslint-config-google": "^0.13.0",
    "jsdoc": "^3.6.7",
    "mocha-junit-reporter": "^1.23.3",
    "mocha-multi-reporters": "^1.1.7",
    "mochawesome": "^4.1.0",
    "nyc": "^14.1.1",
    "sinon": "^7.5.0",
    "vue-cli-plugin-electron-builder": "2.0.0-rc.5",
    "vue-router": "^3.4.8",
    "webpack-chain": "^6.5.1"
  },
  "dependencies": {
    "@iktakahiro/markdown-it-katex": "^3.1.0",
    "async-mutex": "^0.1.4",
    "bootstrap-vue": "^2.18.1",
    "codemirror": "^5.58.2",
    "jquery": "^3.5.1",
    "lodash.debounce": "^4.0.8",
    "lodash.orderby": "^4.6.0",
    "markdown-it": "^8.4.2",
    "node-ipc": "^9.1.1",
    "node-sass": "^4.14.1",
    "s-expression": "^3.0.3",
    "sass-loader": "^7.3.1",
    "style-resources-loader": "^1.3.3",
    "vue": "^2.6.12",
    "vue-codemirror": "^4.0.6",
    "vue-context": "^4.1.1",
    "vue-drag-resize": "^1.4.2",
    "vue-scrollto": "^2.19.1",
    "vue-shortkey": "^3.1.7",
    "vue-spinner": "^1.0.4",
    "vue-template-compiler": "^2.6.12",
    "vuex": "^3.5.1",
    "zip-local": "^0.3.5"
  }
}