ghc-typelits-presburger + dependents fail for ghc-9.8.4 (ghc-typelits…

…-presburger#30)

build-constraints.yaml

@@ -4878,7 +4878,7 @@ packages:
 
     "Hiromi Ishii <[email protected]> @konn":
         - equational-reasoning
-        - ghc-typelits-presburger
+        - ghc-typelits-presburger < 0 # ghc-9.8.4 https://github.com/konn/ghc-typelits-presburger/issues/30
         - singletons-presburger
         - type-natural
         - subcategories
@@ -7630,7 +7630,9 @@ packages:
         - simplest-sqlite < 0 # tried simplest-sqlite-0.1.0.2, but its *library* requires bytestring >=0.10 && < 0.11 and the snapshot contains bytestring-0.12.1.0
         - simplest-sqlite < 0 # tried simplest-sqlite-0.1.0.2, but its *library* requires template-haskell >=2.12 && < 2.16 and the snapshot contains template-haskell-2.21.0.0
         - simplest-sqlite < 0 # tried simplest-sqlite-0.1.0.2, but its *library* requires text >=1.1 && < 1.3 and the snapshot contains text-2.1.1
+        - singletons-presburger < 0 # tried singletons-presburger-0.7.4.0, but its *library* requires the disabled package: ghc-typelits-presburger
         - siphash < 0 # tried siphash-1.0.3, but its *library* requires bytestring < 0.11 and the snapshot contains bytestring-0.12.1.0
+        - sized < 0 # tried sized-1.1.0.2, but its *library* requires the disabled package: ghc-typelits-presburger
         - skeletons < 0 # tried skeletons-0.4.0, but its *executable* requires the disabled package: tinytemplate
         - slack-web < 0 # tried slack-web-1.6.1.0, but its *library* requires aeson >=2.0 && < 2.2 and the snapshot contains aeson-2.2.3.0
         - slack-web < 0 # tried slack-web-1.6.1.0, but its *library* requires base >=4.11 && < 4.18 and the snapshot contains base-4.19.2.0
@@ -7818,6 +7820,7 @@ packages:
         - ttl-hashtables < 0 # tried ttl-hashtables-1.4.1.0, but its *library* requires mtl >=2.2 && < 2.3 and the snapshot contains mtl-2.3.1
         - ttl-hashtables < 0 # tried ttl-hashtables-1.4.1.0, but its *library* requires transformers >=0.4 && < 0.6 and the snapshot contains transformers-0.6.1.0
         - type-combinators-singletons < 0 # tried type-combinators-singletons-0.2.1.0, but its *library* requires the disabled package: type-combinators
+        - type-natural < 0 # tried type-natural-1.3.0.1, but its *library* requires the disabled package: ghc-typelits-presburger
         - type-operators < 0 # tried type-operators-0.2.0.0, but its *library* requires base >=4.7 && < 4.17 and the snapshot contains base-4.19.2.0
         - unfoldable < 0 # tried unfoldable-1.0.1, but its *library* requires transformers >=0.4 && < 0.6 and the snapshot contains transformers-0.6.1.0
         - unfoldable-restricted < 0 # tried unfoldable-restricted-0.0.3, but its *library* requires the disabled package: unfoldable