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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/a8na3ysajx1k0yirya3v5m1mkay0k2r9-guile-json-3.2.0.drv
/gnu/store/caw000lq8gjnswm4rhdjq0rvaxww36br-module-import.drv
/gnu/store/drnjv43l0307d8lsq90zby71kp5a93pi-guile-2.2.6.drv
/gnu/store/fwwk046qc7q5zsvnjmsxyp0qa9n6llyn-gnutls-3.6.11.1.drv
/gnu/store/gnzn7i94smlvvky8f9m8kr6yjpxx4a4n-git-minimal-2.25.0.drv
/gnu/store/i9nnlm14gw3svi9xr2gikiwr8glhmcr6-module-import-compiled.drv
/gnu/store/pdmczn4yzfj68ijpf57rw1zs0nn1cs82-gzip-1.10.drv
/gnu/store/q6a9wwdmw7csdmfy5h50xsin5hj0d36q-tar-1.32.drv

Derivation details

Builder/gnu/store/01f59k5asnymcjkavfyqlal8i77hp58h-guile-2.2.6/bin/guile
Systemaarch64-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