/gnu/store/2qbdb0q83plv5hl6bpqg84qlribg1vhi-agda-ial-1.5.0-checkout.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/0jhqv1a6w50di9cdf2p4i1wp0nvz08ha-guile-2.2.6.drv
/gnu/store/1j687lzmdv2m56w7ac22gximaqrs6x65-guile-json-3.2.0.drv
/gnu/store/97k7qrazsanzxdx72c0h3j1yfh832bg0-git-minimal-2.24.0.drv
/gnu/store/jxcgx4ax90zjbsmnlfqhh2w3mk7yc6hl-module-import-compiled.drv
/gnu/store/s7nq40ci047r8r9ki9n5rc3hbag9szp7-tar-1.32.drv
/gnu/store/vd9clm3wqbh5j7wnbvq2dkzfqsi2vgym-gnutls-3.6.11.1.drv
/gnu/store/wh1xvrcdy9pk90pmkf3wpkknrv3x4b6l-module-import.drv
/gnu/store/z37pck8v7rpsgjazlcq02dglmd06c7hq-gzip-1.10.drv

Derivation details

Builder/gnu/store/c3vb0ihp3zv4iha2xplh88qgl8ac6gb4-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