Versions Packages Information History Badges Report

Packages for abc

58 package(s) known

Arch
community

abc

0.0.0.20200911 (0.0.0.20200911-1)

abc-git

1.01 (1.01-1)
Debian 8
jessie/main

berkeley-abc

1.01 (1.01+20140822hg4d547a5+dfsg-1+deb8u1)
Deepin
main

berkeley-abc

1.01 (1.01+20181130git163bba5+dfsg-1)

berkeley-abc

1.01 (1.01+20140822hg4d547a5+dfsg-1+deb8u1)

berkeley-abc

1.01 (1.01+20161002hgeb6eca6+dfsg-1)

berkeley-abc

1.01 (1.01+20181130git163bba5+dfsg-1)
Devuan 4.0 (Chimaera)
chimaera/main

berkeley-abc

1.01 (1.01+20191006git52a8ebb+dfsg-1)
Devuan Unstable
unstable/main

berkeley-abc

1.01 (1.01+20191006git52a8ebb+dfsg-1)

cad/abc

g20200322

abc

1.01 (1.01-9.hg20160905.el7)
Fedora 26
release

abc

1.01 (1.01-11.hg20160905.fc26)
Fedora 27
release

abc

1.01 (1.01-13.hg20160905.fc27)
Fedora 28
release

abc

1.01 (1.01-16.hg20180228.fc28)
Fedora 29
release

abc

1.01 (1.01-18.git20180708.fc29)
Fedora 30
updates

abc

1.01 (1.01-22.git20190608.fc30)
Fedora 30
release

abc

1.01 (1.01-21.git20181121.fc30)
Fedora 31
release

abc

1.01 (1.01-23.git20190608.fc31)
Fedora 32
release

abc

1.01 (1.01-26.git20200127.fc32)
Fedora 33
updates

abc

1.01 (1.01-28.git20201126.fc33)
Fedora 33
release

abc

1.01 (1.01-27.git20200720.fc33)
Fedora 34
release

abc

1.01 (1.01-30.git20210328.fc34)

abc

1.01 (1.01-31.git20210328.fc35)

cad/abc

g20200322

abc

0.0-1.5ae4b97

berkeley-abc

1.01 (1.01+20191006git52a8ebb+dfsg-1)
Manjaro Stable
community

abc

0.0.0.20200911 (0.0.0.20200911-1)
  • Summary:
    System for Sequential Logic Synthesis and Formal Verification
  • License:
    • MIT
  • Links(s):
Manjaro Testing
community

abc

0.0.0.20200911 (0.0.0.20200911-1)
  • Summary:
    System for Sequential Logic Synthesis and Formal Verification
  • License:
    • MIT
  • Links(s):

abc

0.0.0.20200911 (0.0.0.20200911-1)
  • Summary:
    System for Sequential Logic Synthesis and Formal Verification
  • License:
    • MIT
  • Links(s):

abc-verifier

2020.11.24

abc-verifier

2020.11.24

cad/abc

1.01.20210519
Parabola
community

abc

0.0.0.20200911 (0.0.0.20200911-1)

berkeley-abc

1.01 (1.01+20161002hgeb6eca6+dfsg-1)

berkeley-abc

1.01 (1.01+20181130git163bba5+dfsg-1)

berkeley-abc

1.01 (1.01+20191006git52a8ebb+dfsg-1)
Parrot
main

berkeley-abc

1.01 (1.01+20191006git52a8ebb+dfsg-1)

berkeley-abc

1.01 (1.01+20181130git163bba5+dfsg-1)

berkeley-abc

1.01 (1.01+20191006git52a8ebb+dfsg-1)

berkeley-abc

1.01 (1.01+20181130git163bba5+dfsg-1)

berkeley-abc

1.01 (1.01+20191006git52a8ebb+dfsg-1)

berkeley-abc

1.01 (1.01+20191006git52a8ebb+dfsg-1)
Scoop
main

abc

1.0.0-beta2 (1.0.0-beta.2)
Trisquel 8.0
flidas/main

berkeley-abc

1.01 (1.01+20150706hgc3698e0+dfsg-2)
Trisquel 9.0
etiona/main

berkeley-abc

1.01 (1.01+20161002hgeb6eca6+dfsg-1)
Ubuntu 16.04
xenial/universe

berkeley-abc

1.01 (1.01+20150706hgc3698e0+dfsg-2)
Ubuntu 18.04
bionic/universe

berkeley-abc

1.01 (1.01+20161002hgeb6eca6+dfsg-1)
Ubuntu 20.04
focal/universe

berkeley-abc

1.01 (1.01+20191006git52a8ebb+dfsg-1build1)
Ubuntu 20.10
groovy/universe

berkeley-abc

1.01 (1.01+20191006git52a8ebb+dfsg-1build1)
Ubuntu 21.04
hirsute/universe

berkeley-abc

1.01 (1.01+20191006git52a8ebb+dfsg-1build1)

berkeley-abc

1.01+20201124 (1.01+20201124_1)