18 lines
398 B
Text
18 lines
398 B
Text
pkgbase = abc-git
|
|
pkgdesc = System for Sequential Logic Synthesis and Formal Verification
|
|
pkgver = 1.01
|
|
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-git
|
|
|