expressions-z3 0.4 → 0.5

raw patch · 1 files changed

+2/−2 lines, 1 filesdep ~expressions

Dependency ranges changed: expressions

Files

• expressions-z3.cabal +2/−2

@@ -1,5 +1,5 @@ name:                expressions-z3-version:             0.4+version:             0.5 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.13,                        containers >=0.5 && <0.7,-                       expressions >=0.4 && <0.5,+                       expressions >=0.5 && <0.6,                        singletons >=2.2 && <2.6,                        transformers >=0.5.2 && <0.6,                        list-t >=1.0 && <1.1,