diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,5 +1,9 @@
 # Revision history for wild-bind
 
+## 0.1.2.13  -- 2025-09-29
+
+* Confirm test with `microlens-0.5`.
+
 ## 0.1.2.12  -- 2025-06-19
 
 * Confirm test with `QuickCheck-2.16`.
diff --git a/wild-bind.cabal b/wild-bind.cabal
--- a/wild-bind.cabal
+++ b/wild-bind.cabal
@@ -1,5 +1,5 @@
 name:                   wild-bind
-version:                0.1.2.12
+version:                0.1.2.13
 author:                 Toshio Ito <debug.ito@gmail.com>
 maintainer:             Toshio Ito <debug.ito@gmail.com>
 license:                BSD3
@@ -59,7 +59,7 @@
                         hspec ^>=2.11.12,
                         QuickCheck ^>=2.15.0 || ^>=2.16.0,
                         stm ^>=2.5.0,
-                        microlens ^>=0.4.14
+                        microlens ^>=0.4.14 || ^>=0.5.0
 
 source-repository head
   type:                 git
