diff --git a/package-lock.json b/package-lock.json
index 57783d08..dfb08a5d 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1,12 +1,12 @@
 {
 	"name": "agda-mode",
-	"version": "0.6.2",
+	"version": "0.6.7",
 	"lockfileVersion": 3,
 	"requires": true,
 	"packages": {
 		"": {
 			"name": "agda-mode",
-			"version": "0.6.2",
+			"version": "0.6.7",
 			"dependencies": {
 				"@datastructures-js/binary-search-tree": "^5.3.2",
 				"@glennsl/rescript-fetch": "^v0.2.3",
@@ -6053,9 +6053,9 @@
 			}
 		},
 		"node_modules/tar-fs": {
-			"version": "3.1.0",
-			"resolved": "https://registry.npmjs.org/tar-fs/-/tar-fs-3.1.0.tgz",
-			"integrity": "sha512-5Mty5y/sOF1YWj1J6GiBodjlDc05CUR8PKXrsnFAiSG0xA+GHeWLovaZPYUDXkH/1iKRf2+M5+OrRgzC7O9b7w==",
+			"version": "3.1.1",
+			"resolved": "https://registry.npmjs.org/tar-fs/-/tar-fs-3.1.1.tgz",
+			"integrity": "sha512-LZA0oaPOc2fVo82Txf3gw+AkEd38szODlptMYejQUhndHMLQ9M059uXR+AfS7DNo0NpINvSqDsvyaCrBVkptWg==",
 			"dev": true,
 			"license": "MIT",
 			"dependencies": {