Upgraded deps. [distro]

sireum · Jan 24, 2025 · 83153a7 · 83153a7
1 parent c2d4125
commit 83153a7
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/bin/install b/bin/install
diff --git a/versions.properties b/versions.properties
@@ -37,10 +37,10 @@ org.sireum.version.nik=23+38,24.1.0+1
 org.sireum.version.z3=4.13.4
 
 # Optional Applications
-org.sireum.version.checkstack=v6.12
+org.sireum.version.checkstack=v6.13
 org.sireum.version.cosmocc=4.0.2
 org.sireum.version.cosmos=4.0.2
-org.sireum.version.idea=2024.3.2
+org.sireum.version.idea=2024.3.2.1
 org.sireum.version.mill=0.12.5
 org.sireum.version.vscodium=1.96.4.25017