# Generated by makepkg 5.1.1
# Mon Sep  3 20:40:15 UTC 2018
pkgbase = maude
	pkgdesc = High-level Specification Language
	pkgver = 2.7.1
	pkgrel = 3
	url = http://maude.cs.uiuc.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/d8/Maude-2.7.1.tar.gz
	source = http://maude.cs.illinois.edu/w/images/c/ca/Full-Maude-2.7.1.zip
	source = maude.sh
	source = maude-cvc4-1.5.patch
	sha512sums = b4f172c679959a4c3386003f174a5938690926accd750ae2f5dcf945321a359d0428cf78d66ced9a560610a9cff5dae51f938542049e106c5f8bcba55c10f1a9
	sha512sums = 19a665408db13ee60ffdd47d156ba8572a7f23fd51efac5b6dbc2922d022dd4c687541e59c94eb6ec6b27eb7e7b5ef5245409ae50775a15dfd663d98e106f805
	sha512sums = f62e1709d035e996c9f9a887840492527415f157990cc2d52355d8a7fe9382a757c06bed95f97e298f8eea0dd2a846bf7efb8fb84987784a4a797820807be12e
	sha512sums = 87c50ee550bb5e8644dbc8b6b598bab1c74fa4f65d29b23b1d073b0844f879e1e314a8f2e7e72f1b8138f41c07ac92b0e98b50396909f77620987daaccb898a7

pkgname = maude

