Upgraded deps. [distro]

sireum · Oct 25, 2024 · 5dab989 · 5dab989
1 parent 0bf617b
commit 5dab989
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/bin/install b/bin/install
diff --git a/versions.properties b/versions.properties
@@ -56,7 +56,7 @@ org.sireum.version.plugin.sireum-intellij-asm=true,false,9.7.1
 org.sireum.version.plugin.terminal=true,false,581339
 org.sireum.version.plugin.texify=true,false,570666
 org.sireum.version.plugin.toml=true,false,579483
-org.sireum.version.plugin.zigbrains=true,false,620215
+org.sireum.version.plugin.zigbrains=true,false,624013
 
 # VSCodium Extensions
 org.sireum.version.vscodium.extension=4.20241016.b28ac16