Merge pull request #39 from well-typed/jdral/quickcheck-lockstep-0.8.0

Release `quickcheck-lockstep-0.8.0`

Author: jorisdral

CHANGELOG.md

@@ -2,7 +2,6 @@
 
 ## 0.8.0 -- 2025-07-03
 
-
 * BREAKING: Support `quickcheck-dynamic-4`. Going from version 3 to 4, some
   breaking changes were introduced in `quickcheck-dynamic`, which cascades into
   changes for `quickcheck-lockstep`. The changes to the latter are listed below

quickcheck-lockstep.cabal

@@ -1,6 +1,6 @@
-cabal-version:   2.4
+cabal-version:   3.4
 name:            quickcheck-lockstep
-version:         0.7.0
+version:         0.8.0
 license:         BSD-3-Clause
 license-file:    LICENSE
 author:          Edsko de Vries
@@ -34,6 +34,11 @@ source-repository head
   type:     git
   location: https://github.com/well-typed/quickcheck-lockstep
 
+source-repository head
+  type:     git
+  location: https://github.com/well-typed/quickcheck-lockstep
+  tag:      quickcheck-lockstep-0.8.0
+
 common language
   -- This is at the top-level so that `cabal check` does not complain.
   default-language:   Haskell2010