chore(deps): Bump MPL version to 1.11.0 (#1945)

lucasmcdonald3 · web-flow · commit efdd373ab91f · 2025-06-24T15:52:22.000-07:00
diff --git a/project.properties b/project.properties
@@ -1,5 +1,5 @@
 projectJavaVersion=3.8.1-SNAPSHOT
-mplDependencyJavaVersion=1.10.1-SNAPSHOT
+mplDependencyJavaVersion=1.11.0
 dafnyVersion=4.9.0
 dafnyVerifyVersion=4.9.1
 dafnyRuntimeJavaVersion=4.9.0
diff --git a/submodules/MaterialProviders b/submodules/MaterialProviders
@@ -1 +1 @@
-Subproject commit 6a1017f5f87f39bb8eace9e92704bb2b64b16e65
+Subproject commit 8eef6c4755326d0bd09af1a87033dc78bc14f6d4
