[real] bump dependencies, 0.2.9.1

michalkonecny · Jul 14, 2022 · 7db1c8b · 7db1c8b
1 parent 6fcc882
commit 7db1c8b
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/aern2-real/package.yaml b/aern2-real/package.yaml
@@ -1,5 +1,5 @@
 name:                aern2-real
-version:             0.2.9.0
+version:             0.2.9.1
 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.9
+- mixed-types-num >= 0.5.10
 - integer-logarithms
-- aern2-mp >= 0.2.9
+- aern2-mp >= 0.2.9.1
 
 default-extensions:
 - RebindableSyntax,