CSPM-CoreLanguage-0.3.1.0: CSPM-CoreLanguage.cabal

Name:                CSPM-CoreLanguage
Version:             0.3.1.0
Synopsis:            Definition of a CSP core-language. 
Description:
  This package contains an interface for the CSP core-language.
  It defines processes, events, event sets, and a domain specific language
  for process operations like parallel or interleaving processes.


Category:            Language,Formal Methods,Concurrency
License:             BSD3
License-File:        LICENSE
Author:              2010 - 2017 Marc Fontaine <Marc.Fontaine@gmx.de>
Maintainer:          Marc Fontaine <Marc.Fontaine@gmx.de>
Stability:           experimental
Tested-With:         GHC == 8.2.1
Cabal-Version:       >= 1.24
Build-Type:          Simple
Extra-Source-Files:  README.md
                    
Source-Repository head
  type:     git
  location: git://github.com/MarcFontaine/cspm

Library
  Build-Depends:
    base >= 4.0 && < 5.0
  Default-Language: Haskell2010
  GHC-Options: -funbox-strict-fields -O2 -Wall
  Hs-Source-Dirs:         src

  Exposed-modules:
    CSPM.CoreLanguage
    CSPM.CoreLanguage.Event
    CSPM.CoreLanguage.Process
    CSPM.CoreLanguage.ProcessWrapper
    CSPM.CoreLanguage.Field
  Other-Modules:
    Paths_CSPM_CoreLanguage