phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix version of lean4 infoview

Browse Source
This commit is contained in:
Alexander Bentkamp
2023-02-22 15:48:46 +01:00
parent 1f0d9aea43
commit 49f9ff035f
2 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
package-lock.json
Generated
+3 -3
View File
@@ -21,7 +21,7 @@
"cytoscape-klay": "^3.1.4",
"debounce": "^1.2.1",
"express": "^4.18.2",
"lean4-infoview": "https://gitpkg.now.sh/leanprover/vscode-lean4/lean4-infoview?master",
"lean4-infoview": "https://gitpkg.now.sh/leanprover/vscode-lean4/lean4-infoview?de0062c",
"lean4web": "github:hhu-adam/lean4web",
"path-browserify": "^1.0.1",
"react": "^18.2.0",
@@ -6048,8 +6048,8 @@
"node_modules/lean4-infoview": {
"name": "@leanprover/infoview",
"version": "0.4.2",
"resolved": "https://gitpkg.now.sh/leanprover/vscode-lean4/lean4-infoview?master",
"integrity": "sha512-XthMPhgRGoP/3lClX5LEQNXQYmzEcIQQBuK6AZ4RC5NKcTU7XUpA0qtZTQcWkPeZbOqz02FX5Dg8f4P1CDMuGw==",
"resolved": "https://gitpkg.now.sh/leanprover/vscode-lean4/lean4-infoview?de0062c",
"integrity": "sha512-xrKjl6/+Myn0UeBmEgkba6LStBfjb4iIC7fSJ3tAJxG0CrsKBmBCeU/sfjah3RNw7ieetLeFGd6YvxtoI4nPhQ==",
"license": "Apache-2.0",
"dependencies": {
"@leanprover/infoview-api": "~0.2.1",
package.json
+1 -1
View File
@@ -17,7 +17,7 @@
"cytoscape-klay": "^3.1.4",
"debounce": "^1.2.1",
"express": "^4.18.2",
"lean4-infoview": "https://gitpkg.now.sh/leanprover/vscode-lean4/lean4-infoview?master",
"lean4-infoview": "https://gitpkg.now.sh/leanprover/vscode-lean4/lean4-infoview?de0062c",
"lean4web": "github:hhu-adam/lean4web",
"path-browserify": "^1.0.1",
"react": "^18.2.0",