haskell/stackage
1
0
Fork 0
mirror of https://github.com/commercialhaskell/stackage.git synced 2026-01-13 15:58:32 +01:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

Merge pull request #5468 from konn/konn/fixes-presburger-things

Browse Source 
Revives ghc-typelits-presburger and others (fixes #5438)
This commit is contained in:
Alexey Zabelin 2020-06-22 08:27:14 -07:00 committed by GitHub
commit b009eb85a0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
build-constraints.yaml
View File

@ -4250,10 +4250,10 @@ packages:
"Hiromi Ishii <konn.jinro@gmail.com> @konn":
- equational-reasoning
- ghc-typelits-presburger < 0 # ghc 8.10.1 https://github.com/commercialhaskell/stackage/issues/5438
- singletons-presburger < 0 # via ghc-typelits-presburger
- type-natural < 0 # ghc 8.10
- sized < 0 # ghc 8.10
- ghc-typelits-presburger
- singletons-presburger
- type-natural
- sized
"Frank Doepper <stackage@woffs.de> @woffs":
- amqp-utils