From 75829e94452cc718695852700465bad2df4d1ef4 Mon Sep 17 00:00:00 2001 From: danielratiu Date: Tue, 8 Oct 2024 11:17:44 +0200 Subject: [PATCH] gradle.lockfile: updated dependency to mbeddr.platform --- gradle.lockfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gradle.lockfile b/gradle.lockfile index d92cec6d..35dcca6c 100644 --- a/gradle.lockfile +++ b/gradle.lockfile @@ -9,7 +9,7 @@ com.fasterxml.jackson:jackson-bom:2.13.5=modelcheckBackend com.fasterxml.woodstox:woodstox-core:6.4.0=modelcheckBackend com.jetbrains.jdk:jbr_jcef:17.0.8.1-b1000.32=jbrLinux,jbrMac,jbrWin com.jetbrains:mps:2023.2.1=mps -com.mbeddr:platform:2023.2.24894.c2330ba=languageLibs +com.mbeddr:platform:2023.2.24906.0fb1edb=languageLibs com.xenomachina:kotlin-argparser:2.0.7=executeBackend,generateBackend,modelcheckBackend,remigrateBackend com.xenomachina:xenocom:0.0.7=executeBackend,generateBackend,modelcheckBackend,remigrateBackend de.itemis.mps.build-backends:execute-generators:1.15.1.98.8f853d3=generateBackend