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