CSPM-CoreLanguage 0.3.0.1 → 0.3.0.3

raw patch · 1 files changed

+4/−4 lines, 1 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• CSPM-CoreLanguage.cabal +4/−4

@@ -1,5 +1,5 @@ Name:                CSPM-CoreLanguage-Version:             0.3.0.1+Version:             0.3.0.3 Synopsis:            Definition of a FDR-compatible CSP core-language.  Description:   This package contains an interface for a CSP core-language.@@ -13,10 +13,10 @@ Category:            Language,Formal Methods,Concurrency 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 Build-Type:          Simple