Build 6982900 of job IntersectMBO-ouroboros-consensus:pullrequest-1413:x86_64-linux.native.agda-spec.latex
 |
|
Build products
| Type | Link | Actions | |
|---|---|---|---|
|
Nix package | texlive-combined-2023 |
| Queued at: | |
|---|---|
| Nix name: | texlive-combined-2023 |
| Short description: | TeX Live environment |
| License: | not given |
| Homepage: | not given |
| Maintainer(s): | not given |
| System: | x86_64-linux |
| Derivation store path: | /nix/store/798xfgkqg5sym78497s7m7i8chq793j8-texlive-combined-2023.drv |
| Output store paths: | /nix/store/i595snr5cn2yyq32yxzp9ngqpighl4fv-texlive-combined-2023 |
| Closure size: | 1121.34 MiB (history) |
| Output size: | 106.37 MiB (history) |
| Availability: | Build output is available, but may be garbage-collected |
| Name | Type | Value | Revision | Store path |
|---|
| Nr | What | Duration | Machine | Status |
|---|