# Generated by makepkg 7.0.0
# Sat Jun 28 02:24:08 UTC 2025
pkgbase = maude
	pkgdesc = High-level Specification Language
	pkgver = 3.5
	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
	depends = yices
	source = https://github.com/SRI-CSL/Maude/archive/Maude3.5/maude-3.5.tar.gz
	source = https://raw.githubusercontent.com/maude-team/full-maude/96be01c059d7f0fb1cbea15e2f0818350fb66eb8/full-maude322.maude
	source = maude.sh
	sha512sums = c27da1e1ef9a53649933558fabe1b3b54d356e2ff46c5d28f0eaf9717bcb7e9dff11050c1a70a2fa9850fbccb3eb0aa19e3817c3f4d1efd132cd4d8054d3d6a0
	sha512sums = 7527d5962497c2c45856408a78d26331977d3b35bc1824e59e1f87b644072fe78b5c5e0ca392c44056bcdc8c6874603288a6a536691b01c5cd68bdfe5bc99189
	sha512sums = f62e1709d035e996c9f9a887840492527415f157990cc2d52355d8a7fe9382a757c06bed95f97e298f8eea0dd2a846bf7efb8fb84987784a4a797820807be12e

pkgname = maude
