expressions-z3 0.1.1 → 0.1.2

raw patch · 3 files changed

+8/−6 lines, 3 filesdep ~basedep ~containersdep ~singletonssetup-changed

Dependency ranges changed: base, containers, singletons

Files

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

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

@@ -1,2 +0,0 @@-import Distribution.Simple-main = defaultMain

@@ -1,5 +1,5 @@ name:                expressions-z3-version:             0.1.1+version:             0.1.2 synopsis:            Encode and Decode expressions from Z3 ASTs description:   A simple interface for converting expressions back and forth between pure@@ -62,10 +62,10 @@  library   exposed-modules:     Data.Expression.Z3-  build-depends:       base >=4.9 && <4.11,-                       containers >=0.5 && <0.5.11,+  build-depends:       base >=4.9 && <4.12,+                       containers >=0.5 && <0.6,                        expressions >=0.1 && <0.2,-                       singletons >=2.2 && <2.4,+                       singletons >=2.2 && <2.5,                        transformers >=0.5.2 && <0.6,                        z3 >=4.1.2 && <4.2   hs-source-dirs:      src