Build 7332130 of job IntersectMBO-ouroboros-consensus:pullrequest-1413:x86_64-linux.native.agda-spec.hsSrc
 |
|
Build products
| Type | Link | Actions | |
|---|---|---|---|
|
Nix package | agda-spec-hs-src-0.1 |
Changes
| Input | Changes |
|---|
| Queued at: | |
|---|---|
| Nix name: | agda-spec-hs-src-0.1 |
| Short description: | not given |
| License: | not given |
| Homepage: | not given |
| Maintainer(s): | not given |
| System: | x86_64-linux |
| Derivation store path: | /nix/store/iy18zzw0795kn36v0l23qwzwmnvsiw1c-agda-spec-hs-src-0.1.drv |
| Output store paths: | /nix/store/kncliic6cmg3dqx1894mcyfcmr5163xw-agda-spec-hs-src-0.1 |
| Closure size: | 23.89 MiB (history) |
| Output size: | 23.89 MiB (history) |
| Availability: | Build output is available, but may be garbage-collected |
| Name | Type | Value | Revision | Store path |
|---|
| Nr | What | Duration | Machine | Status |
|---|