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

Revives equational-reasoning, ghc-typelits-presburger, singletons-presburger, type-natural, and sized.

Browse Source
This commit is contained in:
Hiromi ISHII 2022-11-25 17:03:43 +09:00 committed by Mihai Maruseac
parent ef4ab4c172
commit 18df72a117
1 changed files with 0 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
build-constraints.yaml
View File

@ -6335,7 +6335,6 @@ packages:
- emd < 0 # tried emd-0.2.0.0, but its *library* requires the disabled package: typelits-witnesses
- epub-metadata < 0 # tried epub-metadata-4.5, but its *library* requires the disabled package: regex-compat-tdfa
- equal-files < 0 # tried equal-files-0.0.5.3, but its *executable* requires bytestring >=0.9 && < 0.11 and the snapshot contains bytestring-0.11.3.1
- equational-reasoning < 0 # tried equational-reasoning-0.7.0.1, but its *library* requires template-haskell >=2.11 && < 2.19 and the snapshot contains template-haskell-2.19.0.0
- errata < 0 # tried errata-0.4.0.0, but its *library* requires base >=4.12 && < 4.17 and the snapshot contains base-4.17.0.0
- essence-of-live-coding-gloss < 0 # tried essence-of-live-coding-gloss-0.2.6, but its *library* requires the disabled package: gloss
- euler-tour-tree < 0 # tried euler-tour-tree-0.1.1.0, but its *library* requires the disabled package: Unique
@ -6400,7 +6399,6 @@ packages:
- ghc-prof < 0 # tried ghc-prof-1.4.1.11, but its *library* requires base >=4.6 && < 4.17 and the snapshot contains base-4.17.0.0
- ghc-source-gen < 0 # tried ghc-source-gen-0.4.3.0, but its *library* requires ghc >=8.4 && < 9.3 and the snapshot contains ghc-9.4.3
- ghc-syb-utils < 0 # tried ghc-syb-utils-0.3.0.0, but its *library* requires ghc >=7.10 && < 8.6 and the snapshot contains ghc-9.4.3
- ghc-typelits-presburger < 0 # tried ghc-typelits-presburger-0.6.2.0, but its *library* requires ghc < 9.3 and the snapshot contains ghc-9.4.3
- ghcjs-dom < 0 # tried ghcjs-dom-0.9.5.0, but its *library* requires text >=0.11.0.6 && < 1.3 and the snapshot contains text-2.0.1
- ghcjs-dom-jsaddle < 0 # tried ghcjs-dom-jsaddle-0.9.5.0, but its *library* requires the disabled package: jsaddle-dom
- gi-gsk < 0 # tried gi-gsk-4.0.5, but its *library* requires gi-gdk ==4.0.* and the snapshot contains gi-gdk-3.0.26
@ -7543,11 +7541,7 @@ packages:
- simplest-sqlite < 0 # tried simplest-sqlite-0.1.0.2, but its *library* requires bytestring ==0.10.* and the snapshot contains bytestring-0.11.3.1
- 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.19.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.0.1
- singletons-presburger < 0 # tried singletons-presburger-0.6.1.0, but its *executable* requires the disabled package: equational-reasoning
- singletons-presburger < 0 # tried singletons-presburger-0.6.1.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.11.3.1
- sized < 0 # tried sized-1.0.0.1, but its *library* requires the disabled package: equational-reasoning
- sized < 0 # tried sized-1.0.0.1, but its *library* requires the disabled package: ghc-typelits-presburger
- sized-grid < 0 # tried sized-grid-0.2.0.1, but its *library* requires aeson >=1.2 && < 1.5 and the snapshot contains aeson-2.1.1.0
- sized-grid < 0 # tried sized-grid-0.2.0.1, but its *library* requires base >=4.9 && < 4.13 and the snapshot contains base-4.17.0.0
- sized-grid < 0 # tried sized-grid-0.2.0.1, but its *library* requires constraints >=0.9 && < 0.11 and the snapshot contains constraints-0.13.4
@ -7740,8 +7734,6 @@ packages:
- ttl-hashtables < 0 # tried ttl-hashtables-1.4.1.0, but its *library* requires hashtables >=1.2 && < 1.3 and the snapshot contains hashtables-1.3.1
- type-combinators-singletons < 0 # tried type-combinators-singletons-0.2.1.0, but its *library* requires the disabled package: type-combinators
- type-errors-pretty < 0 # tried type-errors-pretty-0.0.1.2, but its *library* requires base >=4.10.1.0 && < 4.16 and the snapshot contains base-4.17.0.0
- type-natural < 0 # tried type-natural-1.1.0.1, but its *library* requires the disabled package: equational-reasoning
- type-natural < 0 # tried type-natural-1.1.0.1, but its *library* requires the disabled package: ghc-typelits-presburger
- ucam-webauth < 0 # tried ucam-webauth-0.1.0.0, but its *library* requires aeson >=1.2 && < 1.5 and the snapshot contains aeson-2.1.1.0
- ucam-webauth < 0 # tried ucam-webauth-0.1.0.0, but its *library* requires attoparsec >=0.13.2.2 && < 0.14 and the snapshot contains attoparsec-0.14.4
- ucam-webauth < 0 # tried ucam-webauth-0.1.0.0, but its *library* requires base >=4.11.0.0 && < 4.13 and the snapshot contains base-4.17.0.0