The latest version of maude is 0.6.1-0.
maude
Version 0.1.0 revision 0 uploaded by DavidLazar.
Package meta
- Synopsis
- An interface to the Maude rewriting system.
- Description
This package provides a simple interface for doing Maude rewrites from within Haskell.
- Author
- David Lazar
- Bug reports
- n/a
- Category
- Foreign
- Copyright
- n/a
- Homepage
- http://git.mzero.org/maude/
- Maintainer
- David Lazar <lazar6@illinois.edu>
- Package URL
- n/a
- Stability
- n/a