diff --git a/client/package-lock.json b/client/package-lock.json
index 79b13684..e90f8aba 100644
--- a/client/package-lock.json
+++ b/client/package-lock.json
@@ -1,12 +1,12 @@
 {
   "name": "gobra-ide",
-  "version": "1.1.1",
+  "version": "2.0.0",
   "lockfileVersion": 3,
   "requires": true,
   "packages": {
     "": {
       "name": "gobra-ide",
-      "version": "1.1.1",
+      "version": "2.0.0",
       "license": "MPL-2.0",
       "devDependencies": {
         "@types/mocha": "^10.0.4",
diff --git a/client/package.json b/client/package.json
index 304d412b..734f091d 100644
--- a/client/package.json
+++ b/client/package.json
@@ -1,7 +1,7 @@
 {
   "name": "gobra-ide",
   "displayName": "Gobra IDE",
-  "version": "1.1.1",
+  "version": "2.0.0",
   "publisher": "viper-admin",
   "description": "This extension provides interactive IDE features for verifying programs in Gobra.",
   "author": {