blob: a1a56166543134244fe80e58b0521846ef90d79a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
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
|