diff --git a/dartagnan/pom.xml b/dartagnan/pom.xml
index 6b3a75d9d4..cbea0d07bb 100644
--- a/dartagnan/pom.xml
+++ b/dartagnan/pom.xml
@@ -5,7 +5,7 @@
com.dat3m
dat3m
- 4.0.1
+ 4.1.0
dartagnan
jar
diff --git a/pom.xml b/pom.xml
index 0ad8a0661b..1ff80f9116 100644
--- a/pom.xml
+++ b/pom.xml
@@ -5,7 +5,7 @@
com.dat3m
dat3m
- 4.0.1
+ 4.1.0
pom
https://github.com/hernanponcedeleon/Dat3M
diff --git a/svcomp/pom.xml b/svcomp/pom.xml
index 2f2cbfa2fd..34bc586fd5 100644
--- a/svcomp/pom.xml
+++ b/svcomp/pom.xml
@@ -5,7 +5,7 @@
com.dat3m
dat3m
- 4.0.1
+ 4.1.0
svcomp
jar
diff --git a/ui/pom.xml b/ui/pom.xml
index c3130a3eb5..f164be6ba9 100644
--- a/ui/pom.xml
+++ b/ui/pom.xml
@@ -5,7 +5,7 @@
com.dat3m
dat3m
- 4.0.1
+ 4.1.0
ui
jar