pkgbase = abc-hg pkgdesc = System for Sequential Logic Synthesis and Formal Verification pkgver = r. pkgrel = 1 url = http://www.eecs.berkeley.edu/~alanmi/abc/abc.htm arch = x86_64 arch = i686 license = BSD makedepends = git makedepends = make makedepends = gcc provides = abc conflicts = abc source = git+https://github.com/berkeley-abc/abc.git md5sums = SKIP pkgname = abc-hg