diff --git a/auxiliary_packages/funman_benchmarks/src/funman_benchmarks/_version.py b/auxiliary_packages/funman_benchmarks/src/funman_benchmarks/_version.py
index 3bca77a1..6adb2512 100644
--- a/auxiliary_packages/funman_benchmarks/src/funman_benchmarks/_version.py
+++ b/auxiliary_packages/funman_benchmarks/src/funman_benchmarks/_version.py
@@ -1,4 +1,4 @@
 """Version information."""
 
 # The following line *must* be the last in the module, exactly as formatted:
-__version__ = "1.9.0"
+__version__ = "1.9.1"
diff --git a/auxiliary_packages/funman_demo/src/funman_demo/_version.py b/auxiliary_packages/funman_demo/src/funman_demo/_version.py
index 3bca77a1..6adb2512 100644
--- a/auxiliary_packages/funman_demo/src/funman_demo/_version.py
+++ b/auxiliary_packages/funman_demo/src/funman_demo/_version.py
@@ -1,4 +1,4 @@
 """Version information."""
 
 # The following line *must* be the last in the module, exactly as formatted:
-__version__ = "1.9.0"
+__version__ = "1.9.1"
diff --git a/auxiliary_packages/funman_dreal/src/funman_dreal/_version.py b/auxiliary_packages/funman_dreal/src/funman_dreal/_version.py
index 3bca77a1..6adb2512 100644
--- a/auxiliary_packages/funman_dreal/src/funman_dreal/_version.py
+++ b/auxiliary_packages/funman_dreal/src/funman_dreal/_version.py
@@ -1,4 +1,4 @@
 """Version information."""
 
 # The following line *must* be the last in the module, exactly as formatted:
-__version__ = "1.9.0"
+__version__ = "1.9.1"
diff --git a/auxiliary_packages/pde2petri/src/pde2petri/_version.py b/auxiliary_packages/pde2petri/src/pde2petri/_version.py
index 0a0a43a5..38cf6dbe 100644
--- a/auxiliary_packages/pde2petri/src/pde2petri/_version.py
+++ b/auxiliary_packages/pde2petri/src/pde2petri/_version.py
@@ -1 +1 @@
-__version__ = "1.9.0"
+__version__ = "1.9.1"
diff --git a/src/funman/_version.py b/src/funman/_version.py
index 3bca77a1..6adb2512 100644
--- a/src/funman/_version.py
+++ b/src/funman/_version.py
@@ -1,4 +1,4 @@
 """Version information."""
 
 # The following line *must* be the last in the module, exactly as formatted:
-__version__ = "1.9.0"
+__version__ = "1.9.1"