diff --git a/build.xml b/build.xml
index 97e46819..b1e5dbb9 100644
--- a/build.xml
+++ b/build.xml
@@ -837,7 +837,7 @@
         <id>jetbrains.mps.typechecking</id>
         <name>Typechecking with Constraint Rules</name>
         <description>Experimental support for type checking with constraint rules</description>
-        <version>2.0-b${ci.build.num}</version>
+        <version>0.2-b${ci.build.num}</version>
         <vendor url="jetbrains.com/mps">JetBrains s.r.o.</vendor>
         
         <extensions defaultExtensionNs="com.intellij">
diff --git a/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps b/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps
index 99da047a..d85bb12a 100644
--- a/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps
+++ b/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps
@@ -198,7 +198,7 @@
       </node>
       <node concept="3_J27D" id="7BVjoXzUx6a" role="m$_w8">
         <node concept="3Mxwew" id="2BiN_P7R7Wi" role="3MwsjC">
-          <property role="3MwjfP" value="2.0-b" />
+          <property role="3MwjfP" value="0.2-b" />
         </node>
         <node concept="3Mxwey" id="2BiN_P7R81m" role="3MwsjC">
           <ref role="3Mxwex" node="2BiN_P7R7jO" resolve="ci.build.num" />