# Generated by makepkg 6.0.1
# using fakeroot version 1.26
pkgname = solidity
pkgbase = solidity
pkgver = 0.8.10-1
pkgdesc = Contract-Oriented Programming Language
url = https://github.com/ethereum/solidity
builddate = 1636550469
packager = Nicola Squartini <tensor5@gmail.com>
size = 31689496
arch = x86_64
license = GPL3
depend = cvc4
depend = z3
makedepend = boost
makedepend = cmake
makedepend = git
