From 18df72a1172fd2c7b328faca67c6d18eae411092 Mon Sep 17 00:00:00 2001 From: Hiromi ISHII Date: Fri, 25 Nov 2022 17:03:43 +0900 Subject: [PATCH] Revives `equational-reasoning`, `ghc-typelits-presburger`, `singletons-presburger`, `type-natural`, and `sized`. --- build-constraints.yaml | 8 -------- 1 file changed, 8 deletions(-) diff --git a/build-constraints.yaml b/build-constraints.yaml index cc7c097f..60f2f076 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -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