diff --git a/build-constraints.yaml b/build-constraints.yaml
index 6c890b03..debd05b8 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -3797,6 +3797,7 @@ packages:
         - quickcheck-quid
         - quiet
         - roc-id
+        - taiwan-id
 
     "Mahdi Dibaiee <mdibaiee@aol.com> @mdibaiee":
         - picedit
@@ -5514,6 +5515,7 @@ packages:
         - filemanip
         - fin
         - fingertree
+        - finitary
         - fmlist
         - friendly-time
         - functor-classes-compat
@@ -7786,7 +7788,6 @@ packages:
         - microlens-pro < 0.2.0.5
         - microlens-th < 0.4.3.18
         - parameterized-utils < 2.2.0.0
-        - roc-id < 0.4.0.0
 
         # https://github.com/commercialhaskell/stackage/issues/7857
         - QuickCheck < 2.17.0.0
@@ -8895,6 +8896,7 @@ skipped-tests:
     - records-sop # tried records-sop-0.1.1.1, but its *test-suite* requires hspec >=2.2 && < 2.11 and the snapshot contains hspec-2.11.17
     - rel8 # tried rel8-1.7.0.0, but its *test-suite* requires hedgehog >=1.0 && < 1.6 and the snapshot contains hedgehog-1.7
     - rhine # tried rhine-1.6, but its *test-suite* requires QuickCheck >=2.14 && < 2.16 and the snapshot contains QuickCheck-2.16.0.0
+    - roc-id # tried roc-id-0.4.0.0, but its *test-suite* requires microlens >=0.5.0.0 && < 0.6 and the snapshot contains microlens-0.4.14.0
     - salak-toml # tried salak-toml-0.3.5.3, but its *test-suite* requires QuickCheck < 2.14 and the snapshot contains QuickCheck-2.16.0.0
     - scalendar # tried scalendar-1.2.0, but its *test-suite* requires the disabled package: SCalendar
     - selective # tried selective-0.7.0.1, but its *test-suite* requires QuickCheck >=2.8 && < 2.15 and the snapshot contains QuickCheck-2.16.0.0
@@ -8923,6 +8925,7 @@ skipped-tests:
     - swagger2 # tried swagger2-2.8.10, but its *test-suite* requires hspec-discover >=2.5.5 && < 2.9 and the snapshot contains hspec-discover-2.11.17
     - system-filepath # tried system-filepath-0.4.14.1, but its *test-suite* requires the disabled package: chell-quickcheck
     - table-layout # tried table-layout-1.0.0.2, but its *test-suite* requires QuickCheck >=2.8 && < 2.16 and the snapshot contains QuickCheck-2.16.0.0
+    - taiwan-id # tried taiwan-id-0.1.1.1, but its *test-suite* requires microlens >=0.5.0.0 && < 0.6 and the snapshot contains microlens-0.4.14.0
     - tasty-autocollect # tried tasty-autocollect-0.4.4, but its *test-suite* requires the disabled package: explainable-predicates
     - tasty-discover # tried tasty-discover-5.2.0, but its *test-suite* requires tasty-quickcheck >=0.10 && < 0.11 and the snapshot contains tasty-quickcheck-0.11.1
     - temporary-resourcet # tried temporary-resourcet-0.1.0.1, but its *test-suite* requires tasty >=1.0 && < 1.2 and the snapshot contains tasty-1.5.4