packages feed

CSPM-FiringRules 0.4.2.0 → 0.4.3.0

raw patch · 1 files changed

+4/−4 lines, 1 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- CSPM.FiringRules.Rules: instance Typeable1 Rule
+ CSPM.FiringRules.Rules: instance Typeable Rule

Files

CSPM-FiringRules.cabal view
@@ -1,5 +1,5 @@ name:                CSPM-FiringRules-version:             0.4.2.0+version:             0.4.3.0 synopsis:            Firing rules semantic of CSPM description:   This package contains functions for computing the transitions of a CSP process@@ -16,12 +16,12 @@ build-type:          Simple license:             BSD3 license-file:        LICENSE-author:              2010 - 2013 Marc Fontaine+author:              2010 - 2014 Marc Fontaine maintainer:          Marc Fontaine <Marc.Fontaine@gmx.de> stability:           experimental-tested-With:         GHC == 7.6.3+tested-With:         GHC == 7.83 -cabal-Version:       >= 1.10+cabal-Version:       >= 1.20  flag QuickCheck   description: enable QuickCheck tests