diff --git a/CHANGELOG.md b/CHANGELOG.md
index 606ea6065d7ba886ba205831745844b9a5096758..7aa262a0be397f2bcae4fa27dfcc03af6c8ddcaa 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,6 +1,6 @@
 # Changelog
 
-## [(next version)](https://gitlab.cs.uni-duesseldorf.de/api/v4/projects/848/jobs/artifacts/master/raw/build/libs/prob2-jupyter-kernel-1.4.1-SNAPSHOT-all.jar?job=test)
+## [(next version)](https://gitlab.cs.uni-duesseldorf.de/api/v4/projects/848/jobs/artifacts/master/raw/build/libs/prob2-jupyter-kernel-1.4.2-SNAPSHOT-all.jar?job=test)
 
 * (no changes yet)
 
diff --git a/README.md b/README.md
index d69fa72115a9137a852539aa07958c2f66a6a05b..b80d0738380e89dae162065841f9674cca01ec16 100644
--- a/README.md
+++ b/README.md
@@ -10,7 +10,7 @@ This is a [Jupyter](https://jupyter.org/) kernel for the [ProB animator and mode
 
 * **[Download the latest version of the ProB2 Jupyter kernel here](https://stups.hhu-hosting.de/downloads/prob2-jupyter/prob2-jupyter-kernel-1.4.1-all.jar).**
 * Download links for previous versions can be found in the [changelog].
-* A [snapshot build](https://gitlab.cs.uni-duesseldorf.de/api/v4/projects/848/jobs/artifacts/master/raw/build/libs/prob2-jupyter-kernel-1.4.1-SNAPSHOT-all.jar?job=test) of the latest development version is also available. **Warning:** this is an unstable version that can contain bugs or breaking changes.
+* A [snapshot build](https://gitlab.cs.uni-duesseldorf.de/api/v4/projects/848/jobs/artifacts/master/raw/build/libs/prob2-jupyter-kernel-1.4.2-SNAPSHOT-all.jar?job=test) of the latest development version is also available. **Warning:** this is an unstable version that can contain bugs or breaking changes.
 
 See the [requirements](#requirements) and [installation instructions](#installation) for information on how to install and use the downloaded jar file.
 
diff --git a/build.gradle b/build.gradle
index 5d11571e7fcfcd3ca19352603f43afc90227172a..d0b2b41372c463277317abe3bfd831ee3370527e 100644
--- a/build.gradle
+++ b/build.gradle
@@ -8,7 +8,7 @@ plugins {
 	id("com.github.johnrengelman.shadow").version("7.1.2")
 }
 
-version = "1.4.1"
+version = "1.4.2-SNAPSHOT"
 
 final isSnapshot = project.version.endsWith("-SNAPSHOT")