Revision 83fb681658431362def447ec29876d565d49c9e5

Language
View JSON

Package: abc @ 0.0-1.5ae4b97

Synopsis

Sequential logic synthesis and formal verification

Description

ABC is a program for sequential logic synthesis and formal verification.

Home page
https://people.eecs.berkeley.edu/~alanmi/abc/
Location
gnu/packages/fpga.scm (line: 70, column: 2)
License

Derivations

SystemTargetDerivationBuild status
x86_64-linux/gnu/store/z4dkjgpb2axq244jvc1sgzlhalqxf25b-abc-0.0-1.5ae4b97.drv
x86_64-linuxx86_64-w64-mingw32/gnu/store/afyc2bvhy138dhifdsa87xiq7kc2lxbs-abc-0.0-1.5ae4b97.drv
x86_64-linuxriscv64-linux-gnu/gnu/store/7kmpmpfxc4c17zy32ncqcslqky3w9rmj-abc-0.0-1.5ae4b97.drv
x86_64-linuxpowerpc-linux-gnu/gnu/store/r8jk2x995cnr6n2dh767r89qbfz7fdzr-abc-0.0-1.5ae4b97.drv
x86_64-linuxpowerpc64le-linux-gnu/gnu/store/1q6k07rqal5l713i620r7gvg7xfyar63-abc-0.0-1.5ae4b97.drv
x86_64-linuxmips64el-linux-gnu/gnu/store/ndq57k6m7dsm89qbjjynjp1rl72kjnpw-abc-0.0-1.5ae4b97.drv
x86_64-linuxi686-w64-mingw32/gnu/store/q546rsfaz66vis9r8w2hvpgpvxgiimw5-abc-0.0-1.5ae4b97.drv
x86_64-linuxi586-pc-gnu/gnu/store/qcgaqcz0kxwxx4gz3zvw6qrc1b7zv41h-abc-0.0-1.5ae4b97.drv
x86_64-linuxarm-linux-gnueabihf/gnu/store/ql4190hdkbmxm8r1kl1q2lc1b7s69szh-abc-0.0-1.5ae4b97.drv
x86_64-linuxaarch64-linux-gnu/gnu/store/fp5jk2x3yyahfisj8q0xrjfdv8ff141y-abc-0.0-1.5ae4b97.drv
riscv64-linux/gnu/store/b57sxwi3nw16zmjyc0hkf4ch5rfs39am-abc-0.0-1.5ae4b97.drv
    powerpc-linux/gnu/store/3x32b6xw8x7gr732v67fjpllglrwx27r-abc-0.0-1.5ae4b97.drv
      powerpc64le-linux/gnu/store/1zn6q42knmq7waph2wa8cd4g0j9219dr-abc-0.0-1.5ae4b97.drv
      mips64el-linux/gnu/store/az4yprgsihb66100axm3g6wn9hkn32rq-abc-0.0-1.5ae4b97.drv
        i686-linux/gnu/store/n80m28rd29mkvd1c4rxwfmjj6jmv6gz7-abc-0.0-1.5ae4b97.drv
        i586-gnu/gnu/store/b7zlcvkp9jp2w0yw9dgs9fwy1b0z7ybi-abc-0.0-1.5ae4b97.drv
        armhf-linux/gnu/store/sfxhvg4m1d454w21xrgx4ifn8x7088bn-abc-0.0-1.5ae4b97.drv
        aarch64-linux/gnu/store/bkk411bsbaykjzr62bhnhc0b1dj8p3qy-abc-0.0-1.5ae4b97.drv

        Lint warnings

        LinterMessageLocation
        formatting

        Look for formatting issues in the source

        		line 101 is way too long (95 characters)