# Generated by makepkg 6.0.0
# Sat Aug 14 19:21:02 UTC 2021
pkgbase = solidity
	pkgdesc = Contract-Oriented Programming Language
	pkgver = 0.8.7
	pkgrel = 1
	url = https://github.com/ethereum/solidity
	arch = x86_64
	license = GPL3
	makedepends = boost
	makedepends = cmake
	makedepends = git
	depends = cvc4
	depends = z3
	source = git+https://github.com/ethereum/solidity.git#commit=e28d00a76daa0747f00ffe47cea17862bca55771
	sha512sums = SKIP

pkgname = solidity
