Skip to content

Commit

Permalink
Re-enabled ghc-typelits-presburger.
Browse files Browse the repository at this point in the history
  • Loading branch information
@alaendle
alaendle committed Dec 19, 2024
1 parent 8e3290a commit 24e641d
Showing 1 changed file with 5 additions and 10 deletions.
15 changes: 5 additions & 10 deletions build-constraints.yaml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -42,7 +42,7 @@ packages:

"Alexey Tochin <[email protected]> @alexeytochin":
- simple-expr
- inf-backprop < 0
- inf-backprop < 0 # 0.1.0.2

"Felix Springer <[email protected]> @jumper149":
- deriving-trans
Expand Down Expand Up @@ -181,7 +181,7 @@ packages:
- hasql-notifications

"Bernie Pope <[email protected]> @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 <[email protected]> @nilsalex":
- safe-tensor
Expand Down Expand Up @@ -3749,7 +3749,7 @@ packages:
- printcess

"Alexey Kuleshevich <[email protected]> @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
Expand Down Expand Up @@ -4712,7 +4712,7 @@ packages:

"Hiromi Ishii <[email protected]> @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
Expand Down Expand Up @@ -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
Expand Down Expand Up @@ -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
Expand Down Expand Up @@ -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
Expand Down Expand Up @@ -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
Expand Down Expand Up @@ -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
Expand Down

0 comments on commit 24e641d

Please sign in to comment.