diff --git a/build-constraints.yaml b/build-constraints.yaml
index ab6a705f..086e264d 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -2977,7 +2977,7 @@ packages:
         - flac
         - flac-picture
         - forma
-        - ghc-syntax-highlighter < 0.0.13 # drop bound for ghc-9.12
+        - ghc-syntax-highlighter
         - hspec-megaparsec
         - htaglib
         - html-entity-map
@@ -6781,7 +6781,6 @@ packages:
         - ghc-prof < 0 # tried ghc-prof-1.4.1.13, but its *library* requires base >=4.6 && < 4.19 and the snapshot contains base-4.20.1.0
         - ghc-prof < 0 # tried ghc-prof-1.4.1.13, but its *library* requires containers >=0.5 && < 0.7 and the snapshot contains containers-0.7
         - ghc-syb-utils < 0 # tried ghc-syb-utils-0.3.0.0, but its *library* requires ghc >=7.10 && < 8.6 and the snapshot contains ghc-9.10.2
-        - ghc-syntax-highlighter < 0 # tried ghc-syntax-highlighter-0.0.12.0, but its *library* requires ghc-lib-parser >=9.10 && < 9.11 and the snapshot contains ghc-lib-parser-9.12.2.20250421
         - gi-gtk-hs < 0 # tried gi-gtk-hs-0.3.17, but its *library* requires gi-gdk >=3.0.6 && < 3.1 and the snapshot contains gi-gdk-4.0.10
         - gi-gtk-hs < 0 # tried gi-gtk-hs-0.3.17, but its *library* requires gi-gtk >=3.0.26 && < 3.1 and the snapshot contains gi-gtk-4.0.12
         - git < 0 # tried git-0.3.0, but its *library* requires bytestring >=0.9 && < 0.11 and the snapshot contains bytestring-0.12.2.0
@@ -6949,8 +6948,6 @@ packages:
         - hw-succinct < 0 # tried hw-succinct-0.1.0.1, but its *library* requires the disabled package: hw-rankselect
         - hw-xml < 0 # tried hw-xml-0.5.1.2, but its *library* requires ghc-prim >=0.5 && < 0.12 and the snapshot contains ghc-prim-0.12.0
         - hyper < 0 # tried hyper-0.2.1.1, but its *library* requires base >=4.5 && < 4.20 and the snapshot contains base-4.20.1.0
-        - ihaskell < 0 # tried ihaskell-0.12.0.0, but its *library* requires the disabled package: ghc-syntax-highlighter
-        - ihaskell-hvega < 0 # tried ihaskell-hvega-0.5.0.6, but its *library* requires the disabled package: ihaskell
         - ilist < 0 # tried ilist-0.4.0.1, but its *library* requires base >=4.10 && < 4.20 and the snapshot contains base-4.20.1.0
         - incremental-parser < 0 # tried incremental-parser-0.5.1, but its *library* requires the disabled package: rank2classes
         - inflections < 0 # tried inflections-0.4.0.7, but its *library* requires text >=0.2 && < 2.1 and the snapshot contains text-2.1.2
@@ -7116,8 +7113,6 @@ packages:
         - min-max-pqueue < 0 # tried min-max-pqueue-0.1.0.2, but its *library* requires containers >=0.5.11 && < 0.7 and the snapshot contains containers-0.7
         - mini-egison < 0 # tried mini-egison-1.0.0, but its *library* requires the disabled package: egison-pattern-src-th-mode
         - minio-hs < 0 # tried minio-hs-1.7.0, but its *library* requires the disabled package: connection
-        - mmark-cli < 0 # tried mmark-cli-0.0.5.2, but its *executable* requires the disabled package: mmark-ext
-        - mmark-ext < 0 # tried mmark-ext-0.2.1.5, but its *library* requires the disabled package: ghc-syntax-highlighter
         - model < 0 # tried model-0.5, but its *library* requires transformers >=0.4.2.0 && < 0.6 and the snapshot contains transformers-0.6.1.1
         - modify-fasta < 0 # tried modify-fasta-0.8.3.0, but its *executable* requires the disabled package: pipes-text
         - modify-fasta < 0 # tried modify-fasta-0.8.3.0, but its *library* requires the disabled package: regex-tdfa-text