dec 0.0.5 → 0.0.6

raw patch · 2 files changed

+16/−17 lines, 2 filesdep −voiddep ~basedep ~boringPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependencies removed: void

Dependency ranges changed: base, boring

API changes (from Hackage documentation)

Files

• ChangeLog.md +4/−0
• dec.cabal +12/−17

@@ -1,5 +1,9 @@ # Revision history for dec +## 0.0.6++- Support GHC-8.6.5...9.10.1+ ## 0.0.5  - Add `boringYes` and `absurdNo`.

@@ -1,6 +1,6 @@ cabal-version:      >=1.10 name:               dec-version:            0.0.5+version:            0.0.6 synopsis:           Decidable propositions. category:           Data, Dependent Types description:@@ -14,8 +14,8 @@   \    | No (Neg a)   @ -homepage:           https://github.com/phadej/vec-bug-reports:        https://github.com/phadej/vec/issues+homepage:           https://github.com/phadej/dec+bug-reports:        https://github.com/phadej/dec/issues license:            BSD3 license-file:       LICENSE author:             Oleg Grenrus <oleg.grenrus@iki.fi>@@ -24,17 +24,15 @@ build-type:         Simple extra-source-files: ChangeLog.md tested-with:-  GHC ==7.8.4-   || ==7.10.3-   || ==8.0.2-   || ==8.2.2-   || ==8.4.4-   || ==8.6.5+  GHC ==8.6.5    || ==8.8.4-   || ==8.10.4+   || ==8.10.7    || ==9.0.2-   || ==9.2.4-   || ==9.4.1+   || ==9.2.8+   || ==9.4.8+   || ==9.6.5+   || ==9.8.2+   || ==9.10.1  source-repository head   type:     git@@ -46,11 +44,8 @@   ghc-options:      -Wall -fprint-explicit-kinds   exposed-modules:  Data.Type.Dec   build-depends:-      base    >=4.7 && <4.18-    , boring  >=0.2 && <0.3--  if !impl(ghc >=7.10)-    build-depends: void >=0.7.3 && <0.8+      base    >=4.12.0.0 && <4.21+    , boring  >=0.2.2 && <0.3    if impl(ghc >=9.0)     -- these flags may abort compilation with GHC-8.10