# Generated by makepkg 6.0.2
# using fakeroot version 1.30.1
pkgname = solidity
pkgbase = solidity
pkgver = 0.8.18-1
pkgdesc = Contract-Oriented Programming Language
url = https://github.com/ethereum/solidity
builddate = 1675474258
packager = Felix Yan <felixonmars@archlinux.org>
size = 15151168
arch = x86_64
license = GPL3
depend = cvc4
depend = z3
makedepend = boost
makedepend = cmake
