blob: 71febda924817f861e9a8ae28d7f4e919869f71e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
pkgbase = abc-git
pkgdesc = System for Sequential Logic Synthesis and Formal Verification
pkgver = 1.02.r5444.806a996
pkgrel = 2
url = https://people.eecs.berkeley.edu/~alanmi/abc/
arch = x86_64
arch = i686
license = BSD
makedepends = git
makedepends = make
makedepends = gcc
depends = readline
provides = abc
provides = libabc.so
conflicts = abc
source = git+https://github.com/berkeley-abc/abc.git
source = LICENSE
sha512sums = SKIP
sha512sums = 3b34a70f67f52df1aa933ee517babf9105d65adb9d53c475b5ea02e361c6a983e6611d81772350c25653920dbc27d37c90a1cf70cbd52859c5a12e06fbeb1563
pkgname = abc-git
|