diff --git a/package-lock.json b/package-lock.json
index 58e03bc..2c777d8 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1187,6 +1187,38 @@
         "reason-promise": "^1.0.1",
         "reason-react": ">=0.7.0",
         "reason-react-update": "^0.1.1"
+      },
+      "dependencies": {
+        "@glennsl/bs-json": {
+          "version": "5.0.2",
+          "resolved": "https://registry.npmjs.org/@glennsl/bs-json/-/bs-json-5.0.2.tgz",
+          "integrity": "sha512-vVlHJNrhmwvhyea14YiV4L5pDLjqw1edE3GzvMxlbPPQZVhzgO3sTWrUxCpQd2gV+CkMfk4FHBYunx9nWtBoDg=="
+        },
+        "agda-mode-vscode": {
+          "version": "github:banacorn/agda-mode-vscode#7593559fb216892cdaae91b67804509a73153c0b",
+          "from": "github:banacorn/agda-mode-vscode#759355",
+          "requires": {
+            "@glennsl/bs-json": "github:banacorn/bs-json#0c900d3",
+            "bs-nd": "^0.1.5",
+            "bs-platform": "^7.2",
+            "bs-webapi": "^0.15.3",
+            "compare-versions": "^3.5.1",
+            "eventemitter3": "^4.0.0",
+            "react": "^16.9.0",
+            "react-dom": "^16.9.0",
+            "reason-promise": "^1.0.1",
+            "reason-react": ">=0.7.0",
+            "reason-react-update": "^0.1.1",
+            "untildify": "^4.0.0",
+            "vscode-codicons": "^0.0.7"
+          },
+          "dependencies": {
+            "@glennsl/bs-json": {
+              "version": "github:banacorn/bs-json#0c900d3ad5c06eb2e6513a677096f1ec0411d282",
+              "from": "github:banacorn/bs-json#0c900d3"
+            }
+          }
+        }
       }
     },
     "has-flag": {
@@ -2374,9 +2406,9 @@
       }
     },
     "ssri": {
-      "version": "8.0.0",
-      "resolved": "https://registry.npmjs.org/ssri/-/ssri-8.0.0.tgz",
-      "integrity": "sha512-aq/pz989nxVYwn16Tsbj1TqFpD5LLrQxHf5zaHuieFV+R0Bbr4y8qUsOA45hXT/N4/9UNXTarBjnjVmjSOVaAA==",
+      "version": "8.0.1",
+      "resolved": "https://registry.npmjs.org/ssri/-/ssri-8.0.1.tgz",
+      "integrity": "sha512-97qShzy1AiyxvPNIkLWoGua7xoQzzPjQ0HAH4B0rWKo7SZ6USuPcrUiAFrws0UH8RrbWmgq3LMTObhPIHbbBeQ==",
       "dev": true,
       "requires": {
         "minipass": "^3.1.1"