diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,11 @@
+# 1.3
+
+- Depend on `bifunctor-classes-compat` instead of `bifunctors`
+  See changelog note in `bifunctors-5.6`: https://hackage.haskell.org/package/bifunctors-5.6/changelog
+  This is breaking change, but affects only GHC-8.0 and older users.
+  In that case you should check various combinations of newer/older
+  `bifunctors`, `these`, and `semialign` packages.
+
 # 1.2.0.1
 
 -  GHC-9.2 support
diff --git a/semialign.cabal b/semialign.cabal
--- a/semialign.cabal
+++ b/semialign.cabal
@@ -1,6 +1,6 @@
 cabal-version:      >=1.10
 name:               semialign
-version:            1.2.0.1
+version:            1.3
 synopsis:
   Align and Zip type-classes from the common Semialign ancestor.
 
@@ -30,9 +30,11 @@
      || ==8.4.4
      || ==8.6.5
      || ==8.8.4
-     || ==8.10.4
-     || ==9.0.1
-     || ==9.2.1
+     || ==8.10.7
+     || ==9.0.2
+     || ==9.2.7
+     || ==9.4.4
+     || ==9.6.1
   , GHCJS ==8.4
 
 source-repository head
@@ -66,12 +68,12 @@
 
   -- ghc boot libs
   build-depends:
-      base          >=4.5.1.0 && <4.17
+      base          >=4.5.1.0 && <4.19
     , containers    >=0.4.2.1 && <0.7
     , transformers  >=0.3.0.0 && <0.7
 
   -- These
-  build-depends:    these >=1.1.1.1 && <1.2
+  build-depends:    these >=1.2 && <1.3
 
   -- other dependencies
   build-depends:
@@ -80,15 +82,15 @@
     , indexed-traversable-instances  >=0.1      && <0.2
     , tagged                         >=0.8.6    && <0.9
     , unordered-containers           >=0.2.8.0  && <0.3
-    , vector                         >=0.12.0.2 && <0.13
+    , vector                         >=0.12.0.2 && <0.14
 
   -- base shims
   if !impl(ghc >=8.2)
-    build-depends: bifunctors >=5.5.4 && <5.6
+    build-depends: bifunctor-classes-compat >=0.1 && <0.2
 
   if !impl(ghc >=8.0)
     build-depends:
-        semigroups           >=0.18.5  && <0.20
+        semigroups           >=0.18.5  && <0.21
       , transformers         >=0.3.0.0 && <0.7
       , transformers-compat  >=0.6.5   && <0.8
 
@@ -103,4 +105,4 @@
     build-depends: ghc-prim
 
   if flag(semigroupoids)
-    build-depends: semigroupoids >=5.3.2 && <5.4
+    build-depends: semigroupoids >=5.3.2 && <6.1