LeanCheck v1.0.2

rudymatela · Jan 26, 2024 · 80aa3ff · 80aa3ff
1 parent e781c86
commit 80aa3ff
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/changelog.md b/changelog.md
@@ -2,8 +2,8 @@ Changelog for LeanCheck
 =======================
 
 
-upcoming (January 2024)
------------------------
+v1.0.2 (January 2024)
+---------------------
 
 * improve error messages
 * some code linting, refactoring and cleanup

diff --git a/leancheck.cabal b/leancheck.cabal
@@ -11,7 +11,7 @@
 -- this cabal file too complicated.  -- Rudy
 
 name:                leancheck
-version:             1.0.1
+version:             1.0.2
 synopsis:            Enumerative property-based testing
 description:
   LeanCheck is a simple enumerative property-based testing library.
@@ -90,7 +90,7 @@ source-repository head
 source-repository this
   type:            git
   location:        https://github.com/rudymatela/leancheck
-  tag:             v1.0.1
+  tag:             v1.0.2
 
 library
   exposed-modules: Test.LeanCheck