chore: bump dafny version

imabhichow · imabhichow · commit 77a657117e7c · 2025-08-25T15:07:56.000-07:00
diff --git a/project.properties b/project.properties
@@ -5,7 +5,7 @@
 #     export `export `cat ./aws-cryptographic-material-providers-library-dafny/project.properties`
 # The Java project include this file as a Gradle properties
 # And the Dotnet projects include and parse this file.
-dafnyVersion=4.9.0
-dafnyVerifyVersion=4.9.1
+dafnyVersion=4.11.0
+dafnyVerifyVersion=4.11.0
 dafnyRustVersion=nightly-2025-01-30-7db1e5f
 mplVersion=1.11.1-SNAPSHOT
