diff options
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..a1a561665431 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,18 @@ +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 + |