aern2-real 0.2.16.0 → 0.2.16.1

raw patch · 2 files changed

+4/−4 lines, 2 filesdep ~mixed-types-numPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: mixed-types-num

API changes (from Hackage documentation)

Files

• aern2-real.cabal +3/−3
• changelog.md +1/−1

@@ -5,7 +5,7 @@ -- see: https://github.com/sol/hpack  name:           aern2-real-version:        0.2.16.0+version:        0.2.16.1 synopsis:       Real numbers as convergent sequences of intervals description:    Please see the README on GitHub at <https://github.com/michalkonecny/aern2/#readme> category:       Math@@ -66,7 +66,7 @@     , collect-errors >=0.1.5     , hspec     , integer-logarithms-    , mixed-types-num >=0.6.1+    , mixed-types-num >=0.6.2   default-language: Haskell2010  test-suite aern2-real-test@@ -99,5 +99,5 @@     , collect-errors >=0.1.5     , hspec     , integer-logarithms-    , mixed-types-num >=0.6.1+    , mixed-types-num >=0.6.2   default-language: Haskell2010

@@ -1,7 +1,7 @@ # Change log for aern2-real  * current-* v 0.2.16.0 2024-09-21+* v 0.2.16.1 2024-10-06   * adapt to int / rat conversion with sample * v 0.2.15.1 2024-09-20   * an implementation of continuity principles for coq-aern