You are here:

Package: abc

Upstream info
Summary: Sequential logic synthesis and formal verification
Description:
URL: http://www.eecs.berkeley.edu/~alanmi/abc/abc.htm
Owner: jjames (jjames)
Bugzilla: Active bugs
Pagure: https://src.fedoraproject.org/rpms/abc
Koschei: https://koschei.fedoraproject.org/package/abc
Packages available in Fedora Repositories
Branch Repository Version-Release Owner Co-maintainers
EL-7 epel-stable 1.01-9.hg20160905.el7
f38 updates 1.01-40.git20230708.fc38
  base 1.01-37.git20221229.fc38
f37 base 1.01-35.git20220731.fc37
f36 base 1.01-33.git20211229.fc36
f35 base 1.01-31.git20210328.fc35
f34 testing 1.01-30.git20210328.fc34
  base 1.01-30.git20210328.fc34
f33 updates 1.01-28.git20201126.fc33
  base 1.01-27.git20200720.fc33
f32 base 1.01-26.git20200127.fc32
f31 base 1.01-23.git20190608.fc31
f30 updates 1.01-22.git20190608.fc30
  base 1.01-21.git20181121.fc30
f29 base 1.01-18.git20180708.fc29
f28 base 1.01-16.hg20180228.fc28
f27 base 1.01-13.hg20160905.fc27
f26 base 1.01-11.hg20160905.fc26
f25 base 1.01-9.hg20160905.fc25
f24 updates 1.01-9.hg20160905.fc24
  base 1.01-8.hg20160203.fc24
f23 base 1.01-6.hg20150306.fc23
f22 base 1.01-4.hg20150306.fc22
f21 updates 1.01-3.hg20150101.fc21