Build 7332127 of job IntersectMBO-ouroboros-consensus:pullrequest-1413:x86_64-linux.native.agda-spec.agda
 |
|
Build products
| Type | Link | Actions | |
|---|---|---|---|
|
Nix package | agdaWithPackages-2.7.0 |
Changes
| Input | Changes |
|---|
Previous builds
| Last successful build | This build |
|---|---|
| build 6982834 | build 7332127 |
| Queued at: | |
|---|---|
| Nix name: | agdaWithPackages-2.7.0 |
| Short description: | A dependently typed functional programming language and proof assistant |
| License: | mit |
| Homepage: | https://hackage.haskell.org/package/Agda |
| Maintainer(s): | ab@fmap.me, iblech@speicherleck.de, programming@manuelbaerenz.de |
| System: | x86_64-linux |
| Derivation store path: | /nix/store/8g6i081n22g35s89wvp8w9zx3zy8nhbj-agdaWithPackages-2.7.0.drv |
| Output store paths: | /nix/store/n6vy5s6fixb09yxqxpp77k3c5f60iigs-agdaWithPackages-2.7.0 |
| Closure size: | 3005.50 MiB (history) |
| Output size: | 0.00 MiB (history) |
| Availability: | Build output is available, but may be garbage-collected |
| Name | Type | Value | Revision | Store path |
|---|
| Nr | What | Duration | Machine | Status |
|---|