%FILENAME%
maude-debug-3.5.1-1-x86_64.pkg.tar.zst

%NAME%
maude-debug

%BASE%
maude

%VERSION%
3.5.1-1

%DESC%
Detached debugging symbols for maude

%CSIZE%
14517360

%ISIZE%
52978139

%SHA256SUM%
15543d1630b153086cc5b24b19ebb80ed4976be23acce9783f1e5b4311834adc

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1772463733

%PACKAGER%
Dmitry Razumov <asmeron@ublinux.com>

%MAKEDEPENDS%
flex
bison
git

