%FILENAME%
maude-3.5.1-1-riscv64.pkg.tar.zst

%NAME%
maude

%BASE%
maude

%VERSION%
3.5.1-1

%DESC%
High-level Specification Language

%CSIZE%
1420237

%ISIZE%
3935165

%SHA256SUM%
e760a9d995515d2b118aa4886ae47a7c151f0044b8fbf949a4bd361e8cac0dc0

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

%LICENSE%
GPL

%ARCH%
riscv64

%BUILDDATE%
1772486546

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

%DEPENDS%
buddy
cvc4
libtecla
gmp
libsigsegv
yices

%MAKEDEPENDS%
flex
bison
git

