Package Details: maude 2.6-2

Git Clone URL: https://aur.archlinux.org/maude.git (read-only)
Package Base: maude
Description: High-level Specification Language.
Upstream URL: http://maude.cs.uiuc.edu/
Licenses: GPL
Submitter: kaptoxic
Maintainer: kaptoxic
Last Packager: kaptoxic
Votes: 1
Popularity: 0.941592
First Submitted: 2016-01-13 16:03
Last Updated: 2016-01-13 16:07