Revision 4c4413b5c683d7591bba60de13aa9114d338722e

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/mjm8clazhjdamrij1yy8yfamfqa3582s-abc-0.0-1.5ae4b97.drv
    x86_64-linuxx86_64-w64-mingw32/gnu/store/46igb5ygzjw417fw74f9wvxgv61mj8f9-abc-0.0-1.5ae4b97.drv
      x86_64-linuxriscv64-linux-gnu/gnu/store/2w1dvsfg31yxf7jkl237w5fd0znal401-abc-0.0-1.5ae4b97.drv
        x86_64-linuxpowerpc-linux-gnu/gnu/store/vrpmmlb65ngxg7ah5a4gkik4f5xgc59s-abc-0.0-1.5ae4b97.drv
          x86_64-linuxpowerpc64le-linux-gnu/gnu/store/bd6xrc75qp69q8qhqhx1cr99pv18i12y-abc-0.0-1.5ae4b97.drv
            x86_64-linuxmips64el-linux-gnu/gnu/store/8862v82dq2ib8sfplrvig0a3x4xpxi9m-abc-0.0-1.5ae4b97.drv
              x86_64-linuxi686-w64-mingw32/gnu/store/m7hv7k1cypb73gx980s6zhvbjdx77624-abc-0.0-1.5ae4b97.drv
                x86_64-linuxi586-pc-gnu/gnu/store/h6cs4vpw41bpr1hm2ica5vhgfj91vw2c-abc-0.0-1.5ae4b97.drv
                  x86_64-linuxarm-linux-gnueabihf/gnu/store/isvn1iigq7lkbh0kq8zb3r31x0jb48l1-abc-0.0-1.5ae4b97.drv
                    x86_64-linuxaarch64-linux-gnu/gnu/store/p0safwzij7kdjlvdw89bjaji5n67kciz-abc-0.0-1.5ae4b97.drv
                      riscv64-linux/gnu/store/wh9wmi95vwvy8xvn339pffvma325kayr-abc-0.0-1.5ae4b97.drv
                        powerpc-linux/gnu/store/zs8zx1h7wvqvpyyh57b009g1bh332cic-abc-0.0-1.5ae4b97.drv
                          powerpc64le-linux/gnu/store/lipb4i8533c2pzqji1c7vmmjapd9psbi-abc-0.0-1.5ae4b97.drv
                            mips64el-linux/gnu/store/27mini616lsfx71r54ccy4pz5ckp1pg2-abc-0.0-1.5ae4b97.drv
                              i686-linux/gnu/store/kh18ydp732hqvhvrcx6g2l337hf24525-abc-0.0-1.5ae4b97.drv
                                i586-gnu/gnu/store/l86vbzsi1wwkic06dqnwd7b0l4cjd55w-abc-0.0-1.5ae4b97.drv
                                  armhf-linux/gnu/store/4k0zm4f1nmyja655pcd707s3y7hv4zql-abc-0.0-1.5ae4b97.drv
                                    aarch64-linux/gnu/store/kvdq573v6kd1w2idnbb30h0szff7igc4-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)