diff --git a/changelog.md b/changelog.md
--- a/changelog.md
+++ b/changelog.md
@@ -2,6 +2,15 @@
 =======================
 
 
+v1.0.0 (August 2022)
+--------------------
+
+This release indicates that the `Test.LeanCheck` API is now stable.
+This is the same as v0.9.12 with just the version number change,
+the major bump here serves just to indicate stability.
+If your project works with the 0.9 series, it will work with the 1.0 series.
+
+
 v0.9.12 (August 2022)
 ---------------------
 
diff --git a/leancheck.cabal b/leancheck.cabal
--- a/leancheck.cabal
+++ b/leancheck.cabal
@@ -11,7 +11,7 @@
 -- this cabal file too complicated.  -- Rudy
 
 name:                leancheck
-version:             0.9.12
+version:             1.0.0
 synopsis:            Enumerative property-based testing
 description:
   LeanCheck is a simple enumerative property-based testing library.
@@ -92,7 +92,7 @@
 source-repository this
   type:            git
   location:        https://github.com/rudymatela/leancheck
-  tag:             v0.9.12
+  tag:             v1.0.0
 
 library
   exposed-modules: Test.LeanCheck