haskell/stackage
1
0
Fork 0
mirror of https://github.com/commercialhaskell/stackage.git synced 2026-01-12 07:18:31 +01:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

Re-enabled ghc-typelits-presburger.

Browse Source
This commit is contained in:
Andreas Ländle 2024-12-19 19:20:46 +01:00
parent 8e3290af8b
commit 24e641d677
1 changed files with 5 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
build-constraints.yaml
View File

@ -42,7 +42,7 @@ packages:
"Alexey Tochin <Alexey.Tochin@gmail.com> @alexeytochin":
- simple-expr
- inf-backprop < 0
- inf-backprop < 0 # 0.1.0.2
"Felix Springer <felixspringer149@gmail.com> @jumper149":
- deriving-trans
@ -181,7 +181,7 @@ packages:
- hasql-notifications
"Bernie Pope <florbitous@gmail.com> @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 <nils@famalex.de> @nilsalex":
- safe-tensor
@ -3749,7 +3749,7 @@ packages:
- printcess
"Alexey Kuleshevich <lehins@yandex.ru> @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.jinro@gmail.com> @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