Stormpy version 1.11.2

volkm · volkm · commit 46726805ff9a · 2025-10-03T11:09:05.000+02:00
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -4,6 +4,13 @@ Changelog
 Version 1.11.x
 --------------
 
+### Version 1.11.2 (2025/10)
+Requires Storm version >= 1.11.0
+
+- Documentation: Revised installation guide
+- Developer: Improved workflow for creating wheels and added support for Linux ARM
+- Developer: Use fixed versions for Python dependencies
+
 ### Version 1.11.1 (2025/09)
 Requires Storm version >= 1.11.0
 
diff --git a/lib/stormpy/_version.py b/lib/stormpy/_version.py
@@ -1 +1 @@
-__version__ = "1.11.1"
+__version__ = "1.11.2"
