# Generated by makepkg 6.0.1
# using fakeroot version 1.26
pkgname = solidity
pkgbase = solidity
pkgver = 0.8.9-1.0
pkgdesc = Contract-Oriented Programming Language
url = https://github.com/ethereum/solidity
builddate = 1632970139
packager = Andreas Baumann <mail@andreasbaumann.cc>
size = 27675456
arch = i486
license = GPL3
depend = cvc4
depend = z3
makedepend = boost
makedepend = cmake
makedepend = git
