packages feed

singletons-presburger 0.7.3.0 → 0.7.4.0

raw patch · 2 files changed

+9/−4 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

Changelog.md view
@@ -1,5 +1,10 @@ # Changelog +## 0.7.4.0++* Supports GHC 9.10+* Drops GHC <9.2+ ## 0.7.3.0  * Supports GHC 9.8
singletons-presburger.cabal view
@@ -1,13 +1,13 @@ cabal-version: 1.12 --- This file has been generated from package.yaml by hpack version 0.35.2.+-- This file has been generated from package.yaml by hpack version 0.36.0. -- -- see: https://github.com/sol/hpack ----- hash: 01c951fe1f6f3e8e9be648f36b92368502b685056280abef68bae093cfe61a89+-- hash: 7f7a8db05068df4e3d097d9d0d1cf27fa5c559de956d89dfa6cecb97d6561028  name:           singletons-presburger-version:        0.7.3.0+version:        0.7.4.0 synopsis:       Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package. description:    The @singletons-presburger@ plugin augments GHC type-system with Presburger                 Arithmetic Solver for Type-level natural numbers, with integration with <https://hackage.haskell.org/package/singletons singletons> package.@@ -25,7 +25,7 @@ license:        BSD3 license-file:   LICENSE tested-with:-    GHC==9.0.2 GHC==9.2.7 GHC==9.4.4 GHC==9.6.3 GHC==9.8.1+    GHC==9.2.8 GHC==9.4.8 GHC==9.6.5 GHC==9.8.2 GHC==9.10.1 extra-source-files:     Changelog.md build-type:     Simple