Release 4.0.0

Author: ch1bo

quickcheck-dynamic/CHANGELOG.md

@@ -7,7 +7,7 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 As a minor extension, we also keep a semantic version for the `UNRELEASED`
 changes.
 
-## UNRELEASED
+## 4.0.0 - 2025-03-12
 
 * **BREAKING**: Removed `Realized`
   - To migrate uses of `Realized` with `IOSim`, index the state type on the choice of `RunModel` monad

quickcheck-dynamic/quickcheck-dynamic.cabal

@@ -1,12 +1,12 @@
 cabal-version:      2.2
 name:               quickcheck-dynamic
-version:            3.4.1
+version:            4.0.0
 license:            Apache-2.0
 license-files:
   LICENSE
   NOTICE
 
-maintainer:         arnaud.bailly@iohk.io
+maintainer:         sebastian.nagel@iohk.io
 author:             Ulf Norell
 category:           Testing
 synopsis:           A library for stateful property-based testing