sha256:fa867a8d6767beddbe0e1c8ba64470a94df16d9fbd46fb74bc58aaf4e3faf02f

Found in archives

• sha256:12b1e65fb49b02af3eeab9a12ee3d8018bd532e0100036822268565d64229a47 ./runtime/grammars/sources/lean/package-lock.json
• sha256:db43b3c33dbe24acdc26dd3b95118c8fdc8606bd9d605f451a2afc9c6d4ffc05 ./runtime/grammars/sources/lean/package-lock.json
• sha256:dfc8a3ccb529501f13600884fbb7dac51f2ab63fc255e8fb0b77f924ebdeca62 ./runtime/grammars/sources/lean/package-lock.json
• sha256:f36a35527b68d19bdcd3c47f1cf71a0b3a407390fbf72ec8829306be0e4b2ff5 ./runtime/grammars/sources/lean/package-lock.json

{
  "name": "tree-sitter-lean",
  "version": "0.1.0",
  "lockfileVersion": 2,
  "requires": true,
  "packages": {
    "": {
      "version": "0.1.0",
      "license": "MIT",
      "dependencies": {
        "nan": "^2.14.2"
      },
      "devDependencies": {
        "tree-sitter-cli": "^0.20.0"
      }
    },
    "node_modules/nan": {
      "version": "2.14.2",
      "resolved": "https://registry.npmjs.org/nan/-/nan-2.14.2.tgz",
      "integrity": "sha512-M2ufzIiINKCuDfBSAUr1vWQ+vuVcA9kqx8JJUsbQi6yf1uGRyb7HfpdfUr5qLXf3B/t8dPvcjhKMmlfnP47EzQ=="
    },
    "node_modules/tree-sitter-cli": {
      "version": "0.20.0",
      "resolved": "https://registry.npmjs.org/tree-sitter-cli/-/tree-sitter-cli-0.20.0.tgz",
      "integrity": "sha512-4D1qapWbJXZ5rrSUGM5rcw5Vuq/smzn9KbiFRhlON6KeuuXjra+KAtDYVrDgAoLIG4ku+jbEEGrJxCptUGi3dg==",
      "dev": true,
      "hasInstallScript": true,
      "bin": {
        "tree-sitter": "cli.js"
      }
    }
  },
  "dependencies": {
    "nan": {
      "version": "2.14.2",
      "resolved": "https://registry.npmjs.org/nan/-/nan-2.14.2.tgz",
      "integrity": "sha512-M2ufzIiINKCuDfBSAUr1vWQ+vuVcA9kqx8JJUsbQi6yf1uGRyb7HfpdfUr5qLXf3B/t8dPvcjhKMmlfnP47EzQ=="
    },
    "tree-sitter-cli": {
      "version": "0.20.0",
      "resolved": "https://registry.npmjs.org/tree-sitter-cli/-/tree-sitter-cli-0.20.0.tgz",
      "integrity": "sha512-4D1qapWbJXZ5rrSUGM5rcw5Vuq/smzn9KbiFRhlON6KeuuXjra+KAtDYVrDgAoLIG4ku+jbEEGrJxCptUGi3dg==",
      "dev": true
    }
  }
}

Return to home page.