packages feed

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