pubs: add one more

aya-prover · Oct 27, 2023 · 2bec93d · 2bec93d
1 parent 079f3aa
commit 2bec93d
Show file tree

Hide file tree

Showing 4 changed files with 267 additions and 240 deletions.
diff --git a/package.json b/package.json
@@ -25,14 +25,14 @@
     "markdown-it-footnote": "^3.0.3"
   },
   "devDependencies": {
-    "@types/markdown-it-footnote": "^3.0.0",
+    "@types/markdown-it-footnote": "^3.0.2",
     "@vitejs/plugin-vue-jsx": "^3.0.2",
-    "vitepress": "1.0.0-rc.14",
-    "vue": "^3.3.4"
+    "vitepress": "1.0.0-rc.24",
+    "vue": "^3.3.7"
   },
   "pnpm": {
     "overrides": {
-      "katex": "^0.16.8"
+      "katex": "^0.16.9"
     },
     "peerDependencyRules": {
       "ignoreMissing": [