expressions-z3 0.1.0 → 0.1.1

raw patch · 2 files changed

+6/−2 lines, 2 filesdep ~transformers

Dependency ranges changed: transformers

Files

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

@@ -1,5 +1,9 @@ # Revision history for expressions-z3 +## 0.1.1++* Bump dependencies+ ## 0.1.0  * First version. Released on an unsuspecting world.

@@ -1,5 +1,5 @@ name:                expressions-z3-version:             0.1.0+version:             0.1.1 synopsis:            Encode and Decode expressions from Z3 ASTs description:   A simple interface for converting expressions back and forth between pure@@ -66,7 +66,7 @@                        containers >=0.5 && <0.5.11,                        expressions >=0.1 && <0.2,                        singletons >=2.2 && <2.4,-                       transformers >=0.5.2 && <0.5.5,+                       transformers >=0.5.2 && <0.6,                        z3 >=4.1.2 && <4.2   hs-source-dirs:      src   default-language:    Haskell2010