Revision c61746b8aa85bc7d69225f47fc56b1f3821b2d00

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: 66, column: 2)
License

Derivations

SystemTargetDerivationBuild status
x86_64-linux/gnu/store/iy1hrgljw46w14m479jhz3520b2paf5c-abc-0.0-1.5ae4b97.drv
x86_64-linuxx86_64-w64-mingw32/gnu/store/5asssz8yfzyhwakd42nfqwkph94v99b9-abc-0.0-1.5ae4b97.drv
x86_64-linuxriscv64-linux-gnu/gnu/store/9pdpqfyznvis9jqchjzqa9saz22chrak-abc-0.0-1.5ae4b97.drv
x86_64-linuxpowerpc-linux-gnu/gnu/store/l785n0lxzbl8l5a3j51viz7m6hywwkah-abc-0.0-1.5ae4b97.drv
x86_64-linuxpowerpc64le-linux-gnu/gnu/store/nv4hxxfjg3pm38qq5gfr4d6r09pi01s3-abc-0.0-1.5ae4b97.drv
x86_64-linuxmips64el-linux-gnu/gnu/store/5qkw3jlp1rf6ncmwqhb9f7xf6nff8d52-abc-0.0-1.5ae4b97.drv
x86_64-linuxi686-w64-mingw32/gnu/store/qgnkk73dhysagcp0d550cq3jqnw2j88n-abc-0.0-1.5ae4b97.drv
x86_64-linuxi586-pc-gnu/gnu/store/1l89z34gf1ya73kml7azhibx7mwsp7dj-abc-0.0-1.5ae4b97.drv
x86_64-linuxarm-linux-gnueabihf/gnu/store/5dfck2az1jbzqc74yb6drxfjmfl3zv4b-abc-0.0-1.5ae4b97.drv
x86_64-linuxaarch64-linux-gnu/gnu/store/4ykwh07wax1d7wnvq6wvyfpznh3z6lxy-abc-0.0-1.5ae4b97.drv
riscv64-linux/gnu/store/vhky7rybsryra30md20ykvc55m718npg-abc-0.0-1.5ae4b97.drv
    powerpc-linux/gnu/store/pwgg0awn1aalsqpqwqp2faifz4pa8kx4-abc-0.0-1.5ae4b97.drv
      powerpc64le-linux/gnu/store/h8vdxq9nr6k9rnr4k4v9ki6bynbmqfhl-abc-0.0-1.5ae4b97.drv
      mips64el-linux/gnu/store/hn2q66dlgkhgs4xp7aisd6ljf8a61viv-abc-0.0-1.5ae4b97.drv
        i686-linux/gnu/store/8z9dx8yvnlwmx5s0zid2gcsnvwhwx4yp-abc-0.0-1.5ae4b97.drv
        i586-gnu/gnu/store/lyxvqs6i4m5yixlyc0vb8s4069ihhvv6-abc-0.0-1.5ae4b97.drv
        armhf-linux/gnu/store/cvvcl1jxp69pfy6klmp478b68fynfzq2-abc-0.0-1.5ae4b97.drv
        aarch64-linux/gnu/store/ijyjvdkmj7gi8yfaw5l0nh6w1i8qwy39-abc-0.0-1.5ae4b97.drv

        Lint warnings

        LinterMessageLocation
        formatting

        Look for formatting issues in the source

        		line 97 is way too long (95 characters)