Update CHANGELOG.md

Author: sjunges

CHANGELOG.md

@@ -5,14 +5,14 @@ Version 1.11.x
 --------------
 
 ### Version 1.11.2 (2025/10)
-Requires Storm version >= 1.11.0
+Requires Storm version >= 1.11.0. Binaries for this release are linked with Storm 1.11.1. 
 
 - 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
+Requires Storm version >= 1.11.0. 
 
 - Fixed issue in CI workflow for releases
 
@@ -360,4 +360,4 @@ Version 1.2.x
 - Arbitrary-size integers (CLN and GMP)
 
 ### Version 1.2.0 (2017/03)
-- Start of this changelog
+- Start of this changelog