From 87885349d5534fbff5b632ccdb8a84b25e064ccc Mon Sep 17 00:00:00 2001 From: Lucas McDonald Date: Tue, 24 Jun 2025 09:46:52 -0700 Subject: [PATCH 1/2] chore: Bump MPL version --- project.properties | 2 +- submodules/MaterialProviders | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/project.properties b/project.properties index 6317dee55..3e343a297 100644 --- 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 index 6a1017f5f..8346326f4 160000 --- a/submodules/MaterialProviders +++ b/submodules/MaterialProviders @@ -1 +1 @@ -Subproject commit 6a1017f5f87f39bb8eace9e92704bb2b64b16e65 +Subproject commit 8346326f41bfaa1a0ef7fe03dcf4ff4851f0a2ed From e36776296e4890f63af66105b6a85a83d44e48c0 Mon Sep 17 00:00:00 2001 From: Lucas McDonald Date: Tue, 24 Jun 2025 11:19:52 -0700 Subject: [PATCH 2/2] 1.11.0 working --- submodules/MaterialProviders | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/submodules/MaterialProviders b/submodules/MaterialProviders index 8346326f4..8eef6c475 160000 --- a/submodules/MaterialProviders +++ b/submodules/MaterialProviders @@ -1 +1 @@ -Subproject commit 8346326f41bfaa1a0ef7fe03dcf4ff4851f0a2ed +Subproject commit 8eef6c4755326d0bd09af1a87033dc78bc14f6d4