From 49f9ff035f00f3845b75dd73c5d7f1ad768bfa9e Mon Sep 17 00:00:00 2001 From: Alexander Bentkamp Date: Wed, 22 Feb 2023 15:48:46 +0100 Subject: [PATCH] fix version of lean4 infoview --- package-lock.json | 6 +++--- package.json | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/package-lock.json b/package-lock.json index e4f50b9..26c2ec9 100644 --- a/package-lock.json +++ b/package-lock.json @@ -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", diff --git a/package.json b/package.json index 18ca722..9a7bd2f 100644 --- a/package.json +++ b/package.json @@ -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",