# Generated by makepkg 6.0.1
# using fakeroot version 1.29
pkgname = solidity
pkgbase = solidity
pkgver = 0.8.17-1
pkgdesc = Contract-Oriented Programming Language
url = https://github.com/ethereum/solidity
builddate = 1664744215
packager = Antonio Rojas <arojas@archlinux.org>
size = 25755032
arch = x86_64
license = GPL3
depend = cvc4
depend = z3
makedepend = boost
makedepend = cmake
