expressions-z3 0.1.6 → 0.2

raw patch · 2 files changed

+6/−2 lines, 2 filesdep ~expressions

Dependency ranges changed: expressions

Files

• ChangeLog.md +4/−0
• expressions-z3.cabal +2/−2

@@ -1,5 +1,9 @@ # Revision history for expressions-z3 +## 0.2++* Bump dependencies+ ## 0.1.6  * Bump dependencies

@@ -1,5 +1,5 @@ name:                expressions-z3-version:             0.1.6+version:             0.2 synopsis:            Encode and Decode expressions from Z3 ASTs description:   A simple interface for converting expressions back and forth between pure@@ -64,7 +64,7 @@   exposed-modules:     Data.Expression.Z3   build-depends:       base >=4.9 && <4.12,                        containers >=0.5 && <0.7,-                       expressions >=0.1.7 && <0.2,+                       expressions >=0.1.7 && <0.3,                        singletons >=2.2 && <2.5,                        transformers >=0.5.2 && <0.6,                        list-t >=1.0 && <1.1,