diff --git a/aern2-real.cabal b/aern2-real.cabal --- a/aern2-real.cabal +++ b/aern2-real.cabal @@ -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 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 diff --git a/changelog.md b/changelog.md --- a/changelog.md +++ b/changelog.md @@ -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