diff --git a/CHANGELOG.md b/CHANGELOG.md
index 56a98721d08561725357ccf2754964ec2f4ced06..143eb22acb77388f42e002a7f0a781e46dacdf46 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.2.1-SNAPSHOT-all.jar?job=test)
+## [1.3.0](https://www3.hhu.de/stups/downloads/prob2-jupyter/prob2-jupyter-kernel-1.3.0-all.jar)
 
 * Added support for Java 17.
 * Updated ProB 2 to version 3.15.0.
diff --git a/build.gradle b/build.gradle
index c5d130399da05fb201c8011ee314afbf438ed7a3..f5a4d684eb407a124226e0bed9602e7fdd7ad348 100644
--- a/build.gradle
+++ b/build.gradle
@@ -9,7 +9,7 @@ plugins {
 	id("com.github.johnrengelman.shadow").version("7.1.2")
 }
 
-version = "1.2.1-SNAPSHOT"
+version = "1.3.0"
 
 final isSnapshot = project.version.endsWith("-SNAPSHOT")