From 1a780310523cbec1ba3bce258f4e7f2ee12f873f Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Thu, 20 Jul 2023 16:44:55 +0000 Subject: [PATCH] chore(deps): bump org.dafny:DafnyRuntime in /TestVectors/runtimes/java Bumps [org.dafny:DafnyRuntime](https://github.com/dafny-lang/dafny) from 4.0.0 to 4.1.0. - [Release notes](https://github.com/dafny-lang/dafny/releases) - [Changelog](https://github.com/dafny-lang/dafny/blob/master/RELEASE_NOTES.md) - [Commits](https://github.com/dafny-lang/dafny/compare/v4.0.0...v4.1.0) --- updated-dependencies: - dependency-name: org.dafny:DafnyRuntime dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] --- TestVectors/runtimes/java/build.gradle.kts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/TestVectors/runtimes/java/build.gradle.kts b/TestVectors/runtimes/java/build.gradle.kts index 33b5ccd53..88d475c9c 100644 --- a/TestVectors/runtimes/java/build.gradle.kts +++ b/TestVectors/runtimes/java/build.gradle.kts @@ -70,7 +70,7 @@ repositories { val dynamodb by configurations.creating dependencies { - implementation("org.dafny:DafnyRuntime:4.0.0") + implementation("org.dafny:DafnyRuntime:4.1.0") implementation("software.amazon.smithy.dafny:conversion:0.1") implementation("software.amazon.cryptography:aws-cryptographic-material-providers:1.0.0-preview-2") implementation("software.amazon.cryptography:aws-database-encryption-sdk-dynamodb:3.0.0-preview-2")