maude-0.3.0: maude.cabal
Name: maude
Version: 0.3.0
Synopsis: An interface to the Maude rewriting system.
Description: This package provides a simple interface for doing Maude
rewrites from within Haskell.
Homepage: https://github.com/davidlazar/maude-hs
License: MIT
License-file: LICENSE
Author: David Lazar
Maintainer: David Lazar <lazar6@illinois.edu>
Category: Foreign
Build-type: Simple
Cabal-version: >=1.6
source-repository head
Type: git
Location: https://github.com/davidlazar/maude-hs
Library
Hs-source-dirs: src
Exposed-modules: Foreign.Maude
Build-depends: base >= 4 && < 5, process, directory, text, parsec >= 3.1.2