Decide on a minor release version increment in favor of a major one

K-dizzled · K-dizzled · commit 3c0327193f78 · 2025-02-06T13:06:47.000+01:00
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,6 +1,6 @@
 # Changelog
 
-## 2.5.0
+## 2.4.3
 
 Much work has been done in the benchmarking module; bugs have been detected and eliminated, performance has improved, and feature space has been extended. In the upcoming minor, we plan to finalize the features in the benchmarking framework and make it as cool as never before.
 
diff --git a/README.md b/README.md
@@ -1,4 +1,4 @@
-# CoqPilot ![Version](https://img.shields.io/badge/version-v2.5.0-blue?style=flat-square)
+# CoqPilot ![Version](https://img.shields.io/badge/version-v2.4.3-blue?style=flat-square)
 
 *Authors:* Andrei Kozyrev, Gleb Solovev, Nikita Khramov, and Anton Podkopaev, [Programming Languages and Tools Lab](https://lp.jetbrains.com/research/plt_lab/) at JetBrains Research.
 
diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -8,7 +8,7 @@
     "url": "https://github.com/JetBrains-Research/coqpilot"
   },
   "publisher": "JetBrains-Research",
-  "version": "2.5.0",
+  "version": "2.4.3",
   "engines": {
     "vscode": "^1.95.0"
   },

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-# CoqPilot ![Version](https://img.shields.io/badge/version-v2.5.0-blue?style=flat-square)`
	`1`	`+# CoqPilot ![Version](https://img.shields.io/badge/version-v2.4.3-blue?style=flat-square)`
`2`	`2`
`3`	`3`	`Authors: Andrei Kozyrev, Gleb Solovev, Nikita Khramov, and Anton Podkopaev, [Programming Languages and Tools Lab](https://lp.jetbrains.com/research/plt_lab/) at JetBrains Research.`
`4`	`4`