# Generated by makepkg 5.2.2
# Tue Feb  9 22:40:51 UTC 2021
pkgbase = maude
	pkgdesc = High-level Specification Language
	pkgver = 3.1
	pkgrel = 1
	url = http://maude.cs.illinois.edu
	arch = x86_64
	license = GPL
	makedepends = flex
	makedepends = bison
	depends = buddy
	depends = cvc4
	depends = libtecla
	depends = gmp
	depends = libsigsegv
	source = http://maude.cs.illinois.edu/w/images/d/d3/Maude-3.1.tar.gz
	source = http://maude.cs.illinois.edu/w/images/0/0a/Full-Maude-3.1.zip
	source = maude.sh
	sha512sums = 34dba3c3b7eed48d0c82c6d5e4dade08bd11dc57b436f04e94842000809b9b6086f8077bccbfac0313e4a4f361b03c3ef3d56e6df6242ae42427dd674566a3bc
	sha512sums = fb0c0e30d3df830b60ece67c2fc5655c5e3f1377a269ce8acfc45fdfa0d42f3fe3fbf4038758b35598d82e7f47af5f24507b3ebe2a30dcb8722e61e6315248c3
	sha512sums = f62e1709d035e996c9f9a887840492527415f157990cc2d52355d8a7fe9382a757c06bed95f97e298f8eea0dd2a846bf7efb8fb84987784a4a797820807be12e

pkgname = maude

