diff --git a/CHANGES.md b/CHANGES.md index bb75d1bb16..e0025d5475 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,6 +1,12 @@ +## 0.45.6 - 2024-09-19 + +### Features + +- Added an `apalache-mc.bat` file to easily start Apalache on Windows, see #2980 + ## 0.45.4 - 2024-09-02 ### Features diff --git a/VERSION b/VERSION index 35fef456c5..c17c8e0466 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -0.45.5-SNAPSHOT +0.45.7-SNAPSHOT diff --git a/project/Dependencies.scala b/project/Dependencies.scala index c984a6feb0..574ff2cc52 100644 --- a/project/Dependencies.scala +++ b/project/Dependencies.scala @@ -21,7 +21,7 @@ object Dependencies { val commonsBeanutils = "commons-beanutils" % "commons-beanutils" % "1.9.4" // Apparently an untracked dependency of commonsConfiguration2 val commonsConfiguration2 = "org.apache.commons" % "commons-configuration2" % "2.11.0" - val commonsIo = "commons-io" % "commons-io" % "2.16.1" + val commonsIo = "commons-io" % "commons-io" % "2.17.0" val guice = "com.google.inject" % "guice" % "7.0.0" val kiama = "org.bitbucket.inkytonik.kiama" %% "kiama" % "2.5.1" val logbackClassic = "ch.qos.logback" % "logback-classic" % logbackVersion @@ -40,7 +40,7 @@ object Dependencies { val zio = "dev.zio" %% "zio" % zioVersion // Keep up to sync with version in plugins.sbt val zioGrpcCodgen = "com.thesamet.scalapb.zio-grpc" %% "zio-grpc-codegen" % "0.6.0-test3" % "provided" - val grpcNetty = "io.grpc" % "grpc-netty" % "1.66.0" + val grpcNetty = "io.grpc" % "grpc-netty" % "1.68.0" val scalapbRuntimGrpc = "com.thesamet.scalapb" %% "scalapb-runtime-grpc" % scalapb.compiler.Version.scalapbVersion // Ensures we have access to commonly used protocol buffers (e.g., google.protobuf.Struct)