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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/44smm97xxb0j88xiyk2wxswfjqhbjsq1-module-import-compiled.drv
/gnu/store/8z1xya01zwa5hwh8x741qkw5bpg2adj6-gzip-1.10.drv
/gnu/store/95x1p400dipr8wzyqddz5mnbpm4vsbga-guile-json-3.2.0.drv
/gnu/store/gchaky6fdf7n2dy4bxkkxy5qw20hmhbc-guile-2.2.6.drv
/gnu/store/i7rfcsffxkhd67fx684zj5887wjqxw1d-git-minimal-2.24.0.drv
/gnu/store/ky30x7q38jg84v3rz1brqwf2i8vm94pd-module-import.drv
/gnu/store/w6ch0ssv7723j18q8jijgl4bj4b7qlkm-tar-1.32.drv
/gnu/store/znyab9n7swp66952lj7dywxvxzf9iiyk-gnutls-3.6.9.drv

Derivation details

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