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: 2
Popularity: 0.318274
First Submitted: 2016-01-13 16:03
Last Updated: 2016-01-13 16:07

Latest Comments

noddy commented on 2016-09-11 22:26

Update for 2.7.1:

PKGBUILD: https://ptpb.pw/LYGA
maude.install: https://ptpb.pw/CnDD

It no longer needs the patch.