From d32c61d7c8080565c59f1d4e9143d72926f433be Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Mon, 3 Nov 2025 12:37:36 +0100
Subject: [PATCH] Update plugin versions for compatibility with 253

---
 build.xml                                                 | 8 ++++----
 .../models/jetbrains.mps.coderules.build.mps              | 6 +++---
 samples/mpscore/build.xml                                 | 6 +++---
 .../models/samples.mpscore.build.mps                      | 8 ++++----
 4 files changed, 14 insertions(+), 14 deletions(-)

diff --git a/build.xml b/build.xml
index 53488f2d..8815b1db 100644
--- a/build.xml
+++ b/build.xml
@@ -1949,8 +1949,8 @@
         <depends>jetbrains.mps.build</depends>
         <depends>jetbrains.mps.ide.java</depends>
         <depends>com.intellij.modules.platform</depends>
-        <idea-version since-build="252.23892" until-build="252.*" />
-        <change-notes><![CDATA[<ul><li>Compatible with upcoming 2024.3 release of MPS</li><li>Bugfixes and optimizations</li></ul>]]></change-notes>
+        <idea-version since-build="253.27864" until-build="253.*" />
+        <change-notes><![CDATA[<ul><li>Compatible with upcoming 2025.3 release of MPS</li></ul>]]></change-notes>
         <extensions defaultExtensionNs="com.intellij">          
           <applicationConfigurable groupId="other" groupWeight="200" instance="jetbrains.mps.coderules.ideaplugin.TypecheckingSettingsPage" id="preferences.typecheckingSettings" displayName="Typechecking" />
           <statusBarWidgetFactory implementation="jetbrains.mps.coderules.ideaplugin.TypecheckingWidget$Factory" id="TypecheckingWidget" order="before notificationsWidget"></statusBarWidgetFactory>
@@ -3510,8 +3510,8 @@
         <depends>jetbrains.mps.build</depends>
         <depends>jetbrains.mps.ide.java</depends>
         <depends>com.intellij.modules.platform</depends>
-        <idea-version since-build="252.23892" until-build="252.*" />
-        <change-notes><![CDATA[<ul><li>Compatible with upcoming 2024.3 release of MPS</li><li>Bugfixes and optimizations</li></ul>]]></change-notes>
+        <idea-version since-build="253.27864" until-build="253.*" />
+        <change-notes><![CDATA[<ul><li>Compatible with upcoming 2025.3 release of MPS</li></ul>]]></change-notes>
         <extensions defaultExtensionNs="com.intellij">          
           <applicationConfigurable groupId="other" groupWeight="200" instance="jetbrains.mps.coderules.ideaplugin.TypecheckingSettingsPage" id="preferences.typecheckingSettings" displayName="Typechecking" />
           <statusBarWidgetFactory implementation="jetbrains.mps.coderules.ideaplugin.TypecheckingWidget$Factory" id="TypecheckingWidget" order="before notificationsWidget"></statusBarWidgetFactory>
diff --git a/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps b/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps
index 73a19e07..8fe66b0e 100644
--- a/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps
+++ b/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps
@@ -334,20 +334,20 @@
         <node concept="2pNUuL" id="5Hdh9$IhmW_" role="2pNNFR">
           <property role="2pNUuO" value="since-build" />
           <node concept="2pMdtt" id="5Hdh9$IhnkA" role="2pMdts">
-            <property role="2pMdty" value="252.23892" />
+            <property role="2pMdty" value="253.27864" />
           </node>
         </node>
         <node concept="2pNUuL" id="1bhjPJMlozs" role="2pNNFR">
           <property role="2pNUuO" value="until-build" />
           <node concept="2pMdtt" id="1bhjPJMlozt" role="2pMdts">
-            <property role="2pMdty" value="252.*" />
+            <property role="2pMdty" value="253.*" />
           </node>
         </node>
       </node>
       <node concept="2pNNFK" id="2fVm_54SZ$e" role="20twgj">
         <property role="2pNNFO" value="change-notes" />
         <node concept="2pNm8S" id="2p5jUSWfCr8" role="3o6s8t">
-          <property role="3o6aOc" value="&lt;ul&gt;&lt;li&gt;Compatible with upcoming 2024.3 release of MPS&lt;/li&gt;&lt;li&gt;Bugfixes and optimizations&lt;/li&gt;&lt;/ul&gt;" />
+          <property role="3o6aOc" value="&lt;ul&gt;&lt;li&gt;Compatible with upcoming 2025.3 release of MPS&lt;/li&gt;&lt;/ul&gt;" />
         </node>
       </node>
       <node concept="2pNNFK" id="2CPBoDATrZn" role="20twgj">
diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml
index b7e9df95..c000286d 100644
--- a/samples/mpscore/build.xml
+++ b/samples/mpscore/build.xml
@@ -5548,7 +5548,7 @@
         <id>jetbrains.mps.core.types</id>
         <name>MPS Coderules Core Types</name>
         <description>Types for core MPS languages with Coderules (experimental)</description>
-        <version>${ci.mps.release}-0.9.8-b${ci.build.num}</version>
+        <version>${ci.mps.release}-0.9.9-b${ci.build.num}</version>
         <vendor url="jetbrains.com/mps">JetBrains s.r.o.</vendor>
         <depends>com.intellij.modules.mps</depends>
         <depends>jetbrains.mps.core</depends>
@@ -5556,8 +5556,8 @@
         <depends>jetbrains.mps.build</depends>
         <depends>jetbrains.mps.kotlin</depends>
         <depends>com.intellij.modules.platform</depends>
-        <idea-version since-build="252.23892" until-build="252.*" />
-        <change-notes><![CDATA[<ul><li>Compatible with upcoming 2024.3 release of MPS</li><li>Bugfixes and optimizations</li></ul>]]></change-notes>
+        <idea-version since-build="253.27864" until-build="253.*" />
+        <change-notes><![CDATA[<ul><li>Compatible with upcoming 2025.3 release of MPS</li></ul>]]></change-notes>
         
         <extensions defaultExtensionNs="com.intellij">
           <mps.LanguageLibrary dir="/languages" />
diff --git a/samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps b/samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps
index 11df6269..09ed6205 100644
--- a/samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps
+++ b/samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps
@@ -260,7 +260,7 @@
           <ref role="3Mxwex" node="5Hdh9$IhmQ$" resolve="ci.mps.release" />
         </node>
         <node concept="3Mxwew" id="2BiN_P7R7Wi" role="3MwsjC">
-          <property role="3MwjfP" value="-0.9.8-b" />
+          <property role="3MwjfP" value="-0.9.9-b" />
         </node>
         <node concept="3Mxwey" id="2BiN_P7R81m" role="3MwsjC">
           <ref role="3Mxwex" node="2BiN_P7R7jO" resolve="ci.build.num" />
@@ -286,20 +286,20 @@
         <node concept="2pNUuL" id="1bhjPJMlp4b" role="2pNNFR">
           <property role="2pNUuO" value="since-build" />
           <node concept="2pMdtt" id="1bhjPJMlp4c" role="2pMdts">
-            <property role="2pMdty" value="252.23892" />
+            <property role="2pMdty" value="253.27864" />
           </node>
         </node>
         <node concept="2pNUuL" id="1bhjPJMlozs" role="2pNNFR">
           <property role="2pNUuO" value="until-build" />
           <node concept="2pMdtt" id="1bhjPJMlozt" role="2pMdts">
-            <property role="2pMdty" value="252.*" />
+            <property role="2pMdty" value="253.*" />
           </node>
         </node>
       </node>
       <node concept="2pNNFK" id="2fVm_54SZ$e" role="20twgj">
         <property role="2pNNFO" value="change-notes" />
         <node concept="2pNm8S" id="2p5jUSWfCr8" role="3o6s8t">
-          <property role="3o6aOc" value="&lt;ul&gt;&lt;li&gt;Compatible with upcoming 2024.3 release of MPS&lt;/li&gt;&lt;li&gt;Bugfixes and optimizations&lt;/li&gt;&lt;/ul&gt;" />
+          <property role="3o6aOc" value="&lt;ul&gt;&lt;li&gt;Compatible with upcoming 2025.3 release of MPS&lt;/li&gt;&lt;/ul&gt;" />
         </node>
       </node>
       <node concept="m$_yC" id="77GimjbRIwv" role="m$_yJ">