diff --git a/Cargo.lock b/Cargo.lock
index 8c0fc04d7..32831e85b 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -159,7 +159,7 @@ checksum = "279fb028e20b3c4c320317955b77c5e0c9701f05a1d309905d6fc702cdc5053e"
 
 [[package]]
 name = "flowistry"
-version = "0.5.7"
+version = "0.5.8"
 dependencies = [
  "anyhow",
  "env_logger",
@@ -174,7 +174,7 @@ dependencies = [
 
 [[package]]
 name = "flowistry_ide"
-version = "0.5.7"
+version = "0.5.8"
 dependencies = [
  "anyhow",
  "cargo_metadata",
@@ -191,7 +191,7 @@ dependencies = [
 
 [[package]]
 name = "flowistry_ifc"
-version = "0.5.7"
+version = "0.5.8"
 dependencies = [
  "anyhow",
  "env_logger",
@@ -201,7 +201,7 @@ dependencies = [
 
 [[package]]
 name = "flowistry_ifc_traits"
-version = "0.5.7"
+version = "0.5.8"
 
 [[package]]
 name = "fluid-let"
diff --git a/crates/flowistry/Cargo.toml b/crates/flowistry/Cargo.toml
index 80be47a6a..38cf74600 100644
--- a/crates/flowistry/Cargo.toml
+++ b/crates/flowistry/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "flowistry"
-version = "0.5.7"
+version = "0.5.8"
 edition = "2021"
 authors = ["Will Crichton <wcrichto@cs.stanford.edu>"]
 description = "Modular information flow analysis"
diff --git a/crates/flowistry_ide/Cargo.toml b/crates/flowistry_ide/Cargo.toml
index 22627241f..08a10adf1 100644
--- a/crates/flowistry_ide/Cargo.toml
+++ b/crates/flowistry_ide/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "flowistry_ide"
-version = "0.5.7"
+version = "0.5.8"
 edition = "2021"
 authors = ["Will Crichton <wcrichto@cs.stanford.edu>"]
 description = "Information Flow in the IDE for Rust"
@@ -11,7 +11,7 @@ license = "MIT"
 rustc_private = true
 
 [dependencies]
-flowistry = {version = "0.5.7", path = "../flowistry"}
+flowistry = {version = "0.5.8", path = "../flowistry"}
 anyhow = "1"
 log = "0.4"
 fluid-let = "1.0"
diff --git a/crates/flowistry_ifc/Cargo.toml b/crates/flowistry_ifc/Cargo.toml
index 88d56edea..ee6b23a20 100644
--- a/crates/flowistry_ifc/Cargo.toml
+++ b/crates/flowistry_ifc/Cargo.toml
@@ -1,10 +1,10 @@
 [package]
 name = "flowistry_ifc"
-version = "0.5.7"
+version = "0.5.8"
 edition = "2021"
 
 [dependencies]
-flowistry = {version = "0.5.7", path = "../flowistry"}
+flowistry = {version = "0.5.8", path = "../flowistry"}
 env_logger = "0.9"
 termcolor = "1.1"
 anyhow = "1"
\ No newline at end of file
diff --git a/crates/flowistry_ifc_traits/Cargo.toml b/crates/flowistry_ifc_traits/Cargo.toml
index c3d2149ab..64834a4dc 100644
--- a/crates/flowistry_ifc_traits/Cargo.toml
+++ b/crates/flowistry_ifc_traits/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "flowistry_ifc_traits"
-version = "0.5.7"
+version = "0.5.8"
 edition = "2021"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
diff --git a/ide/package.json b/ide/package.json
index 51e63e799..e36805b5e 100644
--- a/ide/package.json
+++ b/ide/package.json
@@ -12,7 +12,7 @@
     "type": "git"
   },
   "description": "Information Flow in the IDE for Rust",
-  "version": "0.5.7",
+  "version": "0.5.8",
   "engines": {
     "vscode": "^1.54.0"
   },
@@ -152,7 +152,7 @@
     "publisherId": "1026bfbe-4ffd-44f9-ae41-e620853f9572"
   },
   "dependencies": {
-    "adm-zip": "^0.5.7",
+    "adm-zip": "^0.5.8",
     "classnames": "^2.3.1",
     "got": "^11.8.2",
     "lodash": "^4.17.21",