packages feed

maude-0.1.0: maude.cabal

Name:               maude
Version:            0.1.0
Synopsis:           An interface to the Maude rewriting system.
Description:        This package provides a simple interface for doing Maude
                    rewrites from within Haskell.        
Homepage:           http://git.mzero.org/maude/
License:            BSD3
License-file:       LICENSE
Author:             David Lazar
Maintainer:         David Lazar <lazar6@illinois.edu>
Category:           Foreign
Build-type:         Simple
Cabal-version:      >=1.2


Library
  Exposed-modules:  Foreign.Maude
  Build-depends:    base >= 4 && < 5, process, directory