diff --git a/codebuild/release/release-prod.yml b/codebuild/release/release-prod.yml
index 6248a1430..095f7e6ed 100644
--- a/codebuild/release/release-prod.yml
+++ b/codebuild/release/release-prod.yml
@@ -21,7 +21,7 @@ phases:
     commands:
       - cd ..
       # Get Dafny
-      - curl https://github.com/dafny-lang/dafny/releases/download/v4.1.0/dafny-4.1.0-x64-ubuntu-20.04.zip  -L -o dafny.zip
+      - curl https://github.com/dafny-lang/dafny/releases/download/v4.2.0/dafny-4.2.0-x64-ubuntu-20.04.zip  -L -o dafny.zip
       - unzip -qq dafny.zip && rm dafny.zip
       - export PATH="$PWD/dafny:$PATH"
       # Get Gradle 7.6
diff --git a/codebuild/release/validate-release.yml b/codebuild/release/validate-release.yml
index 0aa6e427a..b3c5dc26e 100644
--- a/codebuild/release/validate-release.yml
+++ b/codebuild/release/validate-release.yml
@@ -14,7 +14,7 @@ phases:
     commands:
       - cd ..
       # Get Dafny
-      - curl https://github.com/dafny-lang/dafny/releases/download/v4.1.0/dafny-4.1.0-x64-ubuntu-20.04.zip  -L -o dafny.zip
+      - curl https://github.com/dafny-lang/dafny/releases/download/v4.2.0/dafny-4.2.0-x64-ubuntu-20.04.zip  -L -o dafny.zip
       - unzip -qq dafny.zip && rm dafny.zip
       - export PATH="$PWD/dafny:$PATH"
       # Get Gradle 7.6
@@ -61,4 +61,4 @@ phases:
       # Run Migration Examples
       - gradle -p runtimes/java/Migration/PlaintextToAWSDBE test
       - gradle -p runtimes/java/Migration/DDBECToAWSDBE test 
-      
\ No newline at end of file
+      
diff --git a/codebuild/staging/release-staging.yml b/codebuild/staging/release-staging.yml
index 818ccc5d4..694f949a5 100644
--- a/codebuild/staging/release-staging.yml
+++ b/codebuild/staging/release-staging.yml
@@ -21,7 +21,7 @@ phases:
     commands:
       - cd ..
       # Get Dafny
-      - curl https://github.com/dafny-lang/dafny/releases/download/v4.1.0/dafny-4.1.0-x64-ubuntu-20.04.zip  -L -o dafny.zip
+      - curl https://github.com/dafny-lang/dafny/releases/download/v4.2.0/dafny-4.2.0-x64-ubuntu-20.04.zip  -L -o dafny.zip
       - unzip -qq dafny.zip && rm dafny.zip
       - export PATH="$PWD/dafny:$PATH"
       # Get Gradle 7.6
diff --git a/codebuild/staging/validate-staging.yml b/codebuild/staging/validate-staging.yml
index 7ee7814bc..c2ab5dac0 100644
--- a/codebuild/staging/validate-staging.yml
+++ b/codebuild/staging/validate-staging.yml
@@ -18,7 +18,7 @@ phases:
     commands:
       - cd ..
       # Get Dafny
-      - curl https://github.com/dafny-lang/dafny/releases/download/v4.1.0/dafny-4.1.0-x64-ubuntu-20.04.zip  -L -o dafny.zip
+      - curl https://github.com/dafny-lang/dafny/releases/download/v4.2.0/dafny-4.2.0-x64-ubuntu-20.04.zip  -L -o dafny.zip
       - unzip -qq dafny.zip && rm dafny.zip
       - export PATH="$PWD/dafny:$PATH"
       # Get Gradle 7.6
diff --git a/project.properties b/project.properties
index 2cacfbd4c..aa393fed9 100644
--- a/project.properties
+++ b/project.properties
@@ -1,4 +1,4 @@
 projectJavaVersion=3.1.0
 mplDependencyJavaVersion=1.0.0
-dafnyRuntimeJavaVersion=4.1.0
+dafnyRuntimeJavaVersion=4.2.0
 smithyDafnyJavaConversionVersion=0.1