leanprover-community
diff --git a/‎package-lock.json‎
Lines changed: 2 additions & 2 deletions b/‎package-lock.json‎
Lines changed: 2 additions & 2 deletions
diff --git a/‎package.json‎
Lines changed: 1 addition & 1 deletion b/‎package.json‎
Lines changed: 1 addition & 1 deletion
@@ -17,7 +17,7 @@
     "express": "^4.18.2",
     "file-saver": "^2.0.5",
     "ip-anonymize": "^0.1.0",
-    "lean4": "https://gitpkg.now.sh/leanprover/vscode-lean4/vscode-lean4?8d0cc34dcfa00da8b4a48394ba1fb3a600e3f985",
+    "lean4": "https://gitpkg2.vercel.app/leanprover/vscode-lean4/vscode-lean4?8d0cc34dcfa00da8b4a48394ba1fb3a600e3f985",
     "mobx": "^6.6.2",
     "moment-timezone": "^0.5.39",
     "monaco-editor": "^0.34.1",