diff --git a/CSPM-ToProlog.cabal b/CSPM-ToProlog.cabal --- a/CSPM-ToProlog.cabal +++ b/CSPM-ToProlog.cabal @@ -1,5 +1,5 @@ Name: CSPM-ToProlog -Version: 0.5.2.0 +Version: 0.5.5.0 Synopsis: some modules specific for the ProB tool Description: This package contains a translation from a CSPM AST to the representation @@ -9,21 +9,25 @@ License: BSD3 category: Formal Methods License-File: LICENSE -Author: 2006-2014 Marc Fontaine -Maintainer: Marc Fontaine -Cabal-Version: >= 1.20 -Tested-With: GHC==7.8.3 +Author: 2006-2017 Marc Fontaine +Maintainer: Marc Fontaine +Cabal-Version: >= 1.24 +Tested-With: GHC==8.2.1 Build-Type: Simple +Extra-Source-Files: README.md + +Source-Repository head + type: git + location: git://github.com/MarcFontaine/cspm Library Default-Language: Haskell2010 Build-Depends: - CSPM-Frontend >= 0.10 && < 0.11 - ,pretty >= 1.1 && < 1.2 + CSPM-Frontend >= 0.10 && < 0.13 ,base >= 4.0 && <5.0 ,containers >= 0.5 && <0.6 ,array >=0.5 && <0.6 - ,ghc-prim >= 0.3 && <0.4 + ,pretty >= 1.1 && < 1.2 Hs-Source-Dirs: src ghc-options: -Wall diff --git a/LICENSE b/LICENSE --- a/LICENSE +++ b/LICENSE @@ -1,4 +1,4 @@ -Copyright (c) Marc Fontaine 2007-2011 +Copyright (c) Marc Fontaine 2007-2017 All rights reserved. diff --git a/README.md b/README.md new file mode 100644 --- /dev/null +++ b/README.md @@ -0,0 +1,7 @@ +# CSPM-ToProlog + +This package contains a translation from a CSPM AST to the representation +used by the ProB tool. +This code is only interesting for ProB developers. + +## [Haddock documentation](http://hackage.haskell.org/package/CSPM-ToProlog)