%FILENAME%
maude-3.5.1-1-armv7h.pkg.tar.xz

%NAME%
maude

%BASE%
maude

%VERSION%
3.5.1-1

%DESC%
High-level Specification Language

%CSIZE%
1148632

%ISIZE%
4524129

%SHA256SUM%
996de6cf27f6fdcc99d57e4d5c695fb0e9232c36dc54387a7109d235780fad48

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1772485552

%PACKAGER%
Arch Linux ARM Build System <builder+xu4@archlinuxarm.org>

%DEPENDS%
buddy
cvc4
libtecla
gmp
libsigsegv
yices

%MAKEDEPENDS%
flex
bison
git

