 |
|
Build products
Note: this build is no longer available.
| Type | Link | Actions | |
|---|---|---|---|
|
Nix package | abc-verifier-2021.11.12 |
| Queued at: | |
|---|---|
| Nix expression: | file pkgs/top-level/release.nix in input nixpkgs |
| Nix name: | abc-verifier-2021.11.12 |
| Short description: | A tool for squential logic synthesis and formal verification |
| License: | mit |
| Homepage: | https://people.eecs.berkeley.edu/~alanmi/abc |
| Maintainer(s): | aseipp@pobox.com |
| System: | x86_64-linux |
| Derivation store path: | /nix/store/vq5z65hxfkq8z55pqkpjafy34cj44cb7-abc-verifier-2021.11.12.drv |
| Output store paths: | /nix/store/6vnffl1a4mjhw1kw61g73q8dinckcagh-abc-verifier-2021.11.12 |
| Closure size: | 56.36 MiB (history) |
| Output size: | 15.09 MiB (history) |
| Availability: | Build output is no longer available |
| Name | Type | Value | Revision | Store path |
|---|---|---|---|---|
| nixpkgs | Git checkout | https://github.com/NixOS/nixpkgs.git | 40a0a74d257cfab08de49273b25a2c727e0e52aa | /nix/store/m3pf0c9mrb5j6jziprf5sgzqppay1wpa-source |
| nixpkgsArgs | Nix expression | { config = { inHydra = true; allowUnfreePredicate = (x: if x ? meta.license then x.meta.license.shortName == "unfreeRedistributable" else false); }; } | ||
| supportedSystems | Nix expression | [ "x86_64-linux" ] |
| Nr | What | Duration | Machine | Status |
|---|