%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

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAluNSRIACgkQeGxj8zDXy5L0AhAAmBJf5Wzl1h9U2YpN+e5FHyPpcGAVOcZl0KW2huQz5mXgnvRrGtnLseFMJNCPiqtD3pZAj3EqScxx9Tpp0z6spViacP1VqUdY7n89amWs7r/Ue+T+zacVVdtbGEer7ctlOhht5nNUBqGwY5InI1yG3IQ49uIjxiiJMTYC6uVAHKV5uIa/XGp8bJhV6ejCcvQJMbQfV9owhq14XoopM+rQeu6Cf60Aqj0pGMRiA702JOXkJEMzWO5ymTo+YvaovAvHm2Yq4aPhYNHnx50uMo+nCYYmHBuoUocPrswtcEzYcRXQoPeoWxjbNLCz7ydJPb1StAQ35BEcsHuyQs0CdiVty2LtnGHb9/wxm8NvSXsvzxXKgdqJMgFfcNBfELpk+I2wiijpVMnOku4BBRyqNvRupRD6qjBFT5lqOLZFt5gxuR8hw2JOKLfioPvxLHfItYtJ2ERVxkDPSJp/m3yxq8ho3M5n8WecTgPrZN4riqEE4OMBloK3Z9nBCURkc6IFLlEsGqL+5DXDhdsun2eGAVuobUMeNi+o4gNfwXSLy7wTA2gcxFU3gJS1ZCdFLtasOwlQDqjXSBIhFtHU0iFD2YKbq6EN2AQTTORrtC+sej21li3WJ7qU/PvRfc+ZoWkMeeJ14oJILMtDmL/rvh5bclVbo+FFiqkvBLmHGwqwREV7H7o=

%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

