CSPM-FiringRules 0.4.1.2 → 0.4.2.0

raw patch · 1 files changed

+6/−6 lines, 1 filesdep ~QuickCheckdep ~containersPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: QuickCheck, containers

API changes (from Hackage documentation)

Files

• CSPM-FiringRules.cabal +6/−6

@@ -1,5 +1,5 @@ name:                CSPM-FiringRules-version:             0.4.1.2+version:             0.4.2.0 synopsis:            Firing rules semantic of CSPM description:   This package contains functions for computing the transitions of a CSP process@@ -16,10 +16,10 @@ build-type:          Simple license:             BSD3 license-file:        LICENSE-author:              2010 - 2012 Marc Fontaine-maintainer:          Marc Fontaine <fontaine@cs.uni-duesseldorf.de>+author:              2010 - 2013 Marc Fontaine+maintainer:          Marc Fontaine <Marc.Fontaine@gmx.de> stability:           experimental-tested-With:         GHC == 7.4.1+tested-With:         GHC == 7.6.3  cabal-Version:       >= 1.10 @@ -33,7 +33,7 @@     ,tree-monad >=0.3 && < 0.4     ,parallel-tree-search >=0.4 && < 0.5     ,base >= 4.0 && < 5.0-    ,containers >= 0.4 && < 0.5+    ,containers >= 0.5 && < 0.6     ,mtl >= 2.1 && < 2.2      Default-Language: Haskell2010@@ -56,7 +56,7 @@    if flag(QuickCheck)     build-depends:-      QuickCheck >= 2.4 && < 2.5+      QuickCheck >= 2.6 && < 2.7       ,random >= 1.0 && < 1.1     exposed-modules:       CSPM.FiringRules.Test.Test