CSPM-ToProlog 0.5.0.0 → 0.5.1.0

raw patch · 1 files changed

+6/−6 lines, 1 filesdep ~containersdep ~ghc-primPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: containers, ghc-prim

API changes (from Hackage documentation)

Files

• CSPM-ToProlog.cabal +6/−6

@@ -1,5 +1,5 @@ Name:                CSPM-ToProlog-Version:             0.5.0.0+Version:             0.5.1.0 Synopsis:            some modules specific for the ProB tool Description:   This package contains a translation from a CSPM AST to the representation@@ -9,10 +9,10 @@ License:             BSD3 category:            Formal Methods License-File:        LICENSE-Author:              2006-2012 Marc Fontaine-Maintainer:          Marc Fontaine <fontaine@cs.uni-duesseldorf.de>+Author:              2006-2013 Marc Fontaine+Maintainer:          Marc Fontaine <Marc.Fontaine@gmx.de> Cabal-Version:  >= 1.10-Tested-With:    GHC==7.4.1+Tested-With:    GHC==7.6.3 Build-Type:     Simple  Library@@ -21,9 +21,9 @@     CSPM-Frontend >= 0.9 && < 0.10     ,pretty >= 1.1 && < 1.2     ,base >= 4.0 && <5.0-    ,containers >= 0.4 && <0.5+    ,containers >= 0.5 && <0.6     ,array >=0.4 && <0.5-    ,ghc-prim >= 0.2 && <0.3+    ,ghc-prim >= 0.3 && <0.4    Hs-Source-Dirs: src   ghc-options: -Wall