From 63c2f3ac0ff49a695f8611331e7bae70bceb1b16 Mon Sep 17 00:00:00 2001 From: Jose Corella Date: Tue, 1 Apr 2025 13:29:31 -0700 Subject: [PATCH 1/2] chore: update project.properties --- project.properties | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/project.properties b/project.properties index df6b7d279..9c646b6b0 100644 --- a/project.properties +++ b/project.properties @@ -1,5 +1,5 @@ projectJavaVersion=3.8.0-SNAPSHOT -mplDependencyJavaVersion=1.10.1-SNAPSHOT +mplDependencyJavaVersion=1.10.1 dafnyVersion=4.9.0 dafnyVerifyVersion=4.9.0 dafnyRuntimeJavaVersion=4.9.0 From 8ef9817ce7d9591916b916a88a287c585fa9c62d Mon Sep 17 00:00:00 2001 From: Jose Corella Date: Tue, 1 Apr 2025 15:35:00 -0700 Subject: [PATCH 2/2] point submodule to tag --- submodules/MaterialProviders | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/submodules/MaterialProviders b/submodules/MaterialProviders index d3e79168a..309fc32c3 160000 --- a/submodules/MaterialProviders +++ b/submodules/MaterialProviders @@ -1 +1 @@ -Subproject commit d3e79168a23381973fab90e0c11e5ec0fb8a37fd +Subproject commit 309fc32c32097f6f5a9461128bae246d764fa64d