docs: fix aya-prover/aya-vscode#26

aya-prover · Jul 17, 2023 · 38a0826 · 38a0826
1 parent 6a4628f
commit 38a0826
Show file tree

Hide file tree

Showing 3 changed files with 356 additions and 323 deletions.
diff --git a/package.json b/package.json
@@ -1,7 +1,7 @@
 {
   "name": "aya-prover-docs",
   "version": "1.0.0",
-  "packageManager": "[email protected].1",
+  "packageManager": "[email protected].7",
   "description": "The documentation site of the Aya prover.",
   "main": "index.js",
   "scripts": {
@@ -27,7 +27,7 @@
   "devDependencies": {
     "@types/markdown-it-footnote": "^3.0.0",
     "@vitejs/plugin-vue-jsx": "^3.0.1",
-    "vitepress": "1.0.0-beta.2",
+    "vitepress": "1.0.0-beta.5",
     "vue": "^3.3.4"
   },
   "pnpm": {