From 24e641d677de203a13a36c3fe2d634bf830983f2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andreas=20L=C3=A4ndle?= <969523+alaendle@users.noreply.github.com> Date: Thu, 19 Dec 2024 19:20:46 +0100 Subject: [PATCH] Re-enabled `ghc-typelits-presburger`. --- build-constraints.yaml | 15 +++++---------- 1 file changed, 5 insertions(+), 10 deletions(-) diff --git a/build-constraints.yaml b/build-constraints.yaml index 5b27aeaa3..0b06f99ac 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -42,7 +42,7 @@ packages: "Alexey Tochin @alexeytochin": - simple-expr - - inf-backprop < 0 + - inf-backprop < 0 # 0.1.0.2 "Felix Springer @jumper149": - deriving-trans @@ -181,7 +181,7 @@ packages: - hasql-notifications "Bernie Pope @bjpop": - - language-python < 0 # https://github.com/bjpop/language-python/issues/77 + - language-python < 0 # 0.5.8 https://github.com/bjpop/language-python/issues/77 "Nils Alex @nilsalex": - safe-tensor @@ -3749,7 +3749,7 @@ packages: - printcess "Alexey Kuleshevich @lehins": - - hip < 0 # Simplifier ticks exhausted https://github.com/lehins/hip/issues/56 + - hip < 0 # 1.5.6.0 Simplifier ticks exhausted https://github.com/lehins/hip/issues/56 - massiv - massiv-io - massiv-test @@ -4712,7 +4712,7 @@ packages: "Hiromi Ishii @konn": - equational-reasoning - - ghc-typelits-presburger < 0 # ghc-9.8.4 https://github.com/konn/ghc-typelits-presburger/issues/30 + - ghc-typelits-presburger - singletons-presburger - type-natural - subcategories @@ -7030,7 +7030,6 @@ packages: - lapack < 0 # tried lapack-0.5.2, but its *library* requires the disabled package: hyper - lapack-hmatrix < 0 # tried lapack-hmatrix-0.0.0.2, but its *library* requires the disabled package: lapack - lazyppl < 0 # tried lazyppl-1.0, but its *library* requires containers >=0.6.5.1 && < 0.7 and the snapshot contains containers-0.7 - - learn-physics < 0 # tried learn-physics-0.6.7, but its *library* requires vector-space >=0.8.4 && < 0.17 and the snapshot contains vector-space-0.19 - lens-datetime < 0 # tried lens-datetime-0.3, but its *library* requires lens >=3 && < 5 and the snapshot contains lens-5.3.2 - lens-family-th < 0 # tried lens-family-th-0.5.3.1, but its *library* requires template-haskell >=2.11 && < 2.22 and the snapshot contains template-haskell-2.22.0.0 - lens-process < 0 # tried lens-process-0.4.0.0, but its *library* requires filepath >=1.0 && < 1.5 and the snapshot contains filepath-1.5.2.0 @@ -7566,9 +7565,7 @@ 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.22.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.20.0.0 @@ -7794,7 +7791,6 @@ packages: - type-combinators-singletons < 0 # tried type-combinators-singletons-0.2.1.0, but its *library* requires the disabled package: type-combinators - type-level-bytestrings < 0 # tried type-level-bytestrings-0.2.0, but its *library* requires the disabled package: defun-core - type-level-show < 0 # tried type-level-show-0.3.0, but its *library* requires the disabled package: defun-core - - 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.20.0.0 - unfoldable < 0 # tried unfoldable-1.0.1, but its *library* requires containers >=0.5 && < 0.7 and the snapshot contains containers-0.7 - unfoldable < 0 # tried unfoldable-1.0.1, but its *library* requires transformers >=0.4 && < 0.6 and the snapshot contains transformers-0.6.1.1 @@ -8731,7 +8727,6 @@ expected-test-failures: - foldl-statistics # https://github.com/data61/foldl-statistics/issues/2 - friday # https://github.com/RaphaelJ/friday/issues/37 - fsnotify # Often runs out of inotify handles - - grisette # 0.8.0.0 spec failed - hastache - hedn - ihaskell # https://github.com/gibiansky/IHaskell/issues/551 @@ -8872,7 +8867,7 @@ expected-test-failures: - webdriver-angular # webdriver server - websockets - what4 # Missing cvc4 and cvc5 - cvc5 is not available for ubuntu 22.04 https://github.com/GaloisInc/what4/issues/262 - - yesod-auth-hashdb # 1.7.17 + - yesod-auth-hashdb # 1.7.1.7 - yesod-test # 1.6.19 - yesod-persistent # 1.6.0.8 - webex-teams-conduit # 0.2.0.1