diff --git a/CHANGELOG.markdown b/CHANGELOG.markdown
--- a/CHANGELOG.markdown
+++ b/CHANGELOG.markdown
@@ -1,5 +1,10 @@
 # Revision history for foldable1-classes-compat
 
+## 0.1.3 -- 2026-01-08
+
+* Allow building with MicroHs.
+* Allow building with `QuickCheck-2.17.*` and `quickcheck-instances-0.4.*`.
+
 ## 0.1.2 -- 2025-06-17
 
 * Replace `test-framework` with `tasty` in the test suite.
diff --git a/foldable1-classes-compat.cabal b/foldable1-classes-compat.cabal
--- a/foldable1-classes-compat.cabal
+++ b/foldable1-classes-compat.cabal
@@ -1,6 +1,6 @@
-cabal-version: >=1.10
+cabal-version: 2.2
 name:          foldable1-classes-compat
-version:       0.1.2
+version:       0.1.3
 synopsis:
   Compatibility package for the Foldable1 and Bifoldable1 type classes
 
@@ -13,7 +13,7 @@
   @Foldable1@ and @Bifoldable1@ classify non-empty data structures that can be
   folded to a summary value.
 
-license:       BSD3
+license:       BSD-3-Clause
 maintainer:    Ryan Scott <ryan.gl.scott@gmail.com>
 author:        Edward Kmett, Oleg Grenrus
 homepage:      https://github.com/haskell-compat/foldable1-classes-compat
@@ -21,7 +21,7 @@
 category:      Data, Compatibility
 license-file:  LICENSE
 build-type:    Simple
-extra-source-files:
+extra-doc-files:
   CHANGELOG.markdown
   README.markdown
 tested-with:
@@ -34,10 +34,10 @@
    || ==9.0.2
    || ==9.2.8
    || ==9.4.8
-   || ==9.6.6
+   || ==9.6.7
    || ==9.8.4
-   || ==9.10.1
-   || ==9.12.1
+   || ==9.10.3
+   || ==9.12.2
 
 -- , GHCJS ==8.4
 
@@ -59,26 +59,28 @@
   ghc-options:      -Wall
   build-depends:    base >=4.9 && <4.22
 
-  if !impl(ghc >= 9.6)
-    hs-source-dirs: src
-    build-depends:
-        containers    >=0.4 && <0.9
-      , transformers  >=0.3 && <0.7
-    exposed-modules:
-      Data.Foldable1
-      Data.Bifoldable1
+  if !impl(mhs)
+    if !impl(ghc >= 9.6)
+      -- no Data.Foldable1, Data.Bifoldable1 in base
+      hs-source-dirs: src
+      build-depends:
+          containers    >=0.4 && <0.9
+        , transformers  >=0.3 && <0.7
+      exposed-modules:
+        Data.Foldable1
+        Data.Bifoldable1
 
-  if !impl(ghc >=8.6)
-    build-depends: base-orphans >=0.8.1 && <0.10
+    if !impl(ghc >=8.6)
+      build-depends: base-orphans >=0.8.1 && <0.10
 
-  if !impl(ghc >=8.2)
-    build-depends: bifunctor-classes-compat >=0.1 && <0.2
+    if !impl(ghc >=8.2)
+      build-depends: bifunctor-classes-compat >=0.1 && <0.2
 
-  if flag(tagged)
-    build-depends: tagged >=0.4.4 && <1
+    if flag(tagged)
+      build-depends: tagged >=0.4.4 && <1
 
-  if impl(ghc >= 9.0)
-    build-depends: ghc-prim >= 0.7 && <0.14
+    if impl(ghc >= 9.0)
+      build-depends: ghc-prim >= 0.7 && <0.14
 
 test-suite test
   default-language: Haskell2010
@@ -92,8 +94,8 @@
     , containers
     , foldable1-classes-compat
     , transformers
-    , QuickCheck           >=2.13.2 && <2.17
-    , quickcheck-instances >=0.3.27 && <0.4
+    , QuickCheck           >=2.13.2 && <2.18
+    , quickcheck-instances >=0.3.27 && <0.5
     , tasty                >=1.4    && <1.6
     , tasty-quickcheck     >=0.10   && <0.12
 
@@ -109,5 +111,5 @@
     , containers
     , foldable1-classes-compat
     , transformers
-    , tasty-bench >=0.3.5 && < 0.5
+    , tasty-bench >=0.3.5 && < 0.6
     , deepseq     >=1.3   && <1.6