aern2-real 0.2.4.1 → 0.2.4.2

raw patch · 1 files changed

+2/−2 lines, 1 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• aern2-real.cabal +2/−2

@@ -4,10 +4,10 @@ -- -- see: https://github.com/sol/hpack ----- hash: 1ee9cd11320b2755650a6147dba4bfe80cf5c45f8e6f6f3fe4e25c2a629c76ce+-- hash: 3151e2ca5ff87f336ef6dcee52880846eb078521c97ccaadf6e06c9754fe11ed  name:           aern2-real-version:        0.2.4.1+version:        0.2.4.2 synopsis:       Real numbers as sequences of MPBalls description:    Please see the README on GitHub at <https://github.com/michalkonecny/aern2/#readme> category:       Math