%FILENAME%
maude-2.7.1-3-x86_64.pkg.tar.xz

%NAME%
maude

%BASE%
maude

%VERSION%
2.7.1-3

%DESC%
High-level Specification Language

%CSIZE%
981876

%ISIZE%
3538944

%MD5SUM%
c4563c2902aaccce1508a59f7b1cbda2

%SHA256SUM%
113d93a40dfff98f912b945a7c24872c7f3b271be42a3d6e10a512564550e1c1

%URL%
http://maude.cs.uiuc.edu

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1535985652

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
buddy
cvc4
libtecla
gmp
libsigsegv

%MAKEDEPENDS%
flex
bison

