[mp,real] v 0.2.11.0

michalkonecny · Aug 25, 2022 · 7551896 · 7551896
1 parent e2d701e
commit 7551896
Show file tree

Hide file tree

Showing 4 changed files with 9 additions and 5 deletions.
diff --git a/aern2-mp/changelog.md b/aern2-mp/changelog.md
@@ -1,5 +1,7 @@
 # Change log for aern2-mp
 
+* v 0.2.11 2022-08-25
+  * left-first Kleenean and/or
 * v 0.2.10 2022-08-20
   * add HasLimitsSameType, CanSelectBool, CanSelectCNBool
 * v 0.2.9 2022-07-13

diff --git a/aern2-mp/package.yaml b/aern2-mp/package.yaml
@@ -1,5 +1,5 @@
 name:                aern2-mp
-version:             0.2.10.0
+version:             0.2.11.0
 github:              "michalkonecny/aern2"
 license:             BSD3
 author:              "Michal Konecny"
@@ -29,7 +29,7 @@ dependencies:
 - reflection
 - template-haskell
 - collect-errors >= 0.1.5
-- mixed-types-num >= 0.5.10
+- mixed-types-num >= 0.5.11
 - cdar-mBound >= 0.1.0.0
 
 default-extensions:

diff --git a/aern2-real/changelog.md b/aern2-real/changelog.md
@@ -1,5 +1,7 @@
 # Change log for aern2-real
 
+* v 0.2.11 2022-08-25
+  * left-first and/or for CKleeneans
 * v 0.2.10 2022-08-20
   * add to RealNumber: HasLimitsSameType, CanSelectCNBool, same compare types
   * SelectType CKleenean = CN Bool

diff --git a/aern2-real/package.yaml b/aern2-real/package.yaml
@@ -1,5 +1,5 @@
 name:                aern2-real
-version:             0.2.10.0
+version:             0.2.11.0
 github:              "michalkonecny/aern2"
 license:             BSD3
 author:              "Michal Konecny"
@@ -24,9 +24,9 @@ dependencies:
 - hspec
 - QuickCheck
 - collect-errors >= 0.1.5
-- mixed-types-num >= 0.5.10
+- mixed-types-num >= 0.5.11
 - integer-logarithms
-- aern2-mp >= 0.2.10.0
+- aern2-mp >= 0.2.11.0
 
 default-extensions:
 - RebindableSyntax,