package.json

{
  "name": "wacoq-bin",
  "version": "0.16.0",
  "description": "WASM Binaries of the Coq Proof Assistant (for jsCoq)",
  "main": "index.html",
  "author": "corwin-of-amber",
  "repository": {
    "type": "git",
    "url": "github:corwin-of-amber/wacoq-bin"
  },
  "license": "MIT",
  "scripts": {
    "build": "rm -rf dist && webpack --mode production",
    "dev": "webpack -w",
    "dist": "make dist-npm",
    "postinstall": "node ./etc/postinstall.js"
  },
  "bin": {
    "wacoq": "./dist/cli.js"
  },
  "dependencies": {
    "@ocaml-wasm/4.12--num": "^1.4.0-0",
    "@ocaml-wasm/4.12--zarith": "^1.12.0-0",
    "array-equal": "^1.0.0",
    "browser-or-node": "^2.0.0",
    "byline": "^5.0.0",
    "child-process-promise": "^2.2.1",
    "commander": "^5.1.0",
    "fflate": "^0.3.6",
    "fflate-unzip": "^0.7.0",
    "find": "^0.3.0",
    "find-up": "^5.0.0",
    "glob": "^7.1.7",
    "mkdirp": "^1.0.4",
    "neatjson": "^0.8.3",
    "ocaml-wasm": "^4.12.0-0",
    "wasi-kernel": "https://github.com/corwin-of-amber/wasi-kernel/releases/download/v0.1.7/wasi-kernel-0.1.7.tgz"
  },
  "devDependencies": {
    "@types/child-process-promise": "^2.2.1",
    "@types/find": "^0.2.1",
    "@types/glob": "^7.1.3",
    "@types/jquery": "^3.5.0",
    "@types/mkdirp": "^1.0.1",
    "@types/node": "^14.0.27",
    "assert": "^2.0.0",
    "buffer": "^4.9.2",
    "events": "^3.3.0",
    "jquery": "^3.6.0",
    "jszip": "^3.6.0",
    "path-browserify": "^1.0.1",
    "process": "^0.11.10",
    "stream-browserify": "^3.0.0",
    "ts-loader": "^9.1.2",
    "typescript": "^4.1.3",
    "webpack": "^5.36.2",
    "webpack-bundle-analyzer": "^4.4.1",
    "webpack-cli": "^4.7.0",
    "webpack-node-externals": "^3.0.0"
  },
  "browserslist": [
    "Chrome 78"
  ]
}