Upgraded deps. [distro]

sireum · Jan 8, 2025 · 1dcda4f · 1dcda4f
1 parent e7df9a7
commit 1dcda4f
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/bin/install b/bin/install
diff --git a/versions.properties b/versions.properties
@@ -34,15 +34,15 @@ org.sireum.version.coursier=2.1.23
 org.sireum.version.forms=4.20250106.48601e9
 org.sireum.version.jacoco=0.8.12
 org.sireum.version.nik=23+38,24.1.0+1
-org.sireum.version.z3=4.13.3
+org.sireum.version.z3=4.13.4
 
 # Optional Applications
 org.sireum.version.checkstack=v6.12
 org.sireum.version.cosmocc=4.0.2
 org.sireum.version.cosmos=4.0.2
 org.sireum.version.idea=2024.3.1.1
 org.sireum.version.mill=0.12.5
-org.sireum.version.vscodium=1.96.0.24347
+org.sireum.version.vscodium=1.96.2.24355
 
 # IntelliJ Plugins = isCommunity, isJar, updateVer
 org.sireum.version.plugin.antlr=true,false,614947
@@ -64,5 +64,5 @@ org.sireum.version.plugin.toml=true,false,630064
 org.sireum.version.plugin.zigbrains=true,false,656685
 
 # VSCodium Extensions
-org.sireum.version.vscodium.extension=4.20241212.2d4e20d
+org.sireum.version.vscodium.extension=4.20250108.4af6eaf
 org.sireum.version.vscodium.extension.syside=0.6.2