presburger 1.3 → 1.3.1

raw patch · 1 files changed

+2/−2 lines, 1 filesdep ~presburger

Dependency ranges changed: presburger

Files

• presburger.cabal +2/−2

@@ -1,5 +1,5 @@ Name:           presburger-Version:        1.3+Version:        1.3.1 License:        BSD3 License-file:   LICENSE Author:         Iavor S. Diatchki@@ -28,5 +28,5 @@   type: exitcode-stdio-1.0   hs-source-dirs: tests   main-is: qc.hs-  build-depends: base, presburger == 1.2, QuickCheck+  build-depends: base, presburger == 1.3.1, QuickCheck