/gnu/store/gr759397khg8fp8ywzkiq7qc9x5iffnz-agda-ial-1.5.0-checkout.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/02f35x1imhs33d9n4q9hna7wd2887zgh-module-import.drv
/gnu/store/3xl59jk2pg3mw9l7fc2m6akknjhgs982-gzip-1.10.drv
/gnu/store/72y56g7cjgpvsdq6nzg97xsdkqdmjghl-git-minimal-2.25.0.drv
/gnu/store/aa9b3nr0bk9anl1lijx6xdkwp7vxriib-module-import-compiled.drv
/gnu/store/fj2q16ic0q17792nfmbk80iv6izkc4ww-guile-json-3.2.0.drv
/gnu/store/k0im91gdxzrmc73nn889vaga1mxnhnak-gnutls-3.6.11.1.drv
/gnu/store/sp824rglpz6rz4f8zhinfqwj9dw0855y-guile-2.2.6.drv
/gnu/store/v5jg5an4xn7g7ari5s5rjv7l99a0n43k-tar-1.32.drv

Derivation details

Builder/gnu/store/vgx0vv3z1gh2y6d11padwc3cmsc3kji3-guile-2.2.6/bin/guile
Systemx86_64-linux

Build status

Succeeded
View build on https://bordeaux.guix.gnu.org/
Succeeded
View build on https://bordeaux.guix.gnu.org/
Succeeded
View build on https://bordeaux.guix.gnu.org/
Succeeded
View build on https://bordeaux.guix.gnu.org/
Scheduled
View build on https://bordeaux.guix.gnu.org/
Succeeded
View build on https://bordeaux.guix.gnu.org/

Outputs

File name
/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout