Build 7332133 of job IntersectMBO-ouroboros-consensus:pullrequest-1413:x86_64-linux.native.agda-spec.hsExe
 |
|
Build products
| Type | Link | Actions | |
|---|---|---|---|
|
Nix package | cardano-consensus-executable-spec-0.1.0.0 |
Changes
| Input | Changes |
|---|
| Queued at: | |
|---|---|
| Nix name: | cardano-consensus-executable-spec-0.1.0.0 |
| Short description: | Executable Formal Specification of Ouroboros Consensus |
| License: | asl20 |
| Homepage: | https://hackage.haskell.org/package/cardano-consensus-executable-spec |
| Maintainer(s): | not given |
| System: | x86_64-linux |
| Derivation store path: | /nix/store/bakmp00j7i8ic4km8rcjfxqypyzp5y4h-cardano-consensus-executable-spec-0.1.0.0.drv |
| Output store paths: | /nix/store/vs2410chxxzgxaxlqagk6pkwhdx1z1f6-cardano-consensus-executable-spec-0.1.0.0 |
| Closure size: | 2911.45 MiB (history) |
| Output size: | 152.56 MiB (history) |
| Availability: | Build output is available, but may be garbage-collected |
| Name | Type | Value | Revision | Store path |
|---|
| Nr | What | Duration | Machine | Status |
|---|