/gnu/store/29c39676rwvs4gvwr6zrpfp57ma41mvl-agda-ial-1.5.0-checkout.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/5l14c0mgs5nwllmzkdm1czpdpgg0g2x0-module-import.drv
/gnu/store/8z1xya01zwa5hwh8x741qkw5bpg2adj6-gzip-1.10.drv
/gnu/store/95x1p400dipr8wzyqddz5mnbpm4vsbga-guile-json-3.2.0.drv
/gnu/store/c8f8f5hnwgm52hdga0c46wc2jn5s2b2f-module-import-compiled.drv
/gnu/store/gchaky6fdf7n2dy4bxkkxy5qw20hmhbc-guile-2.2.6.drv
/gnu/store/w6ch0ssv7723j18q8jijgl4bj4b7qlkm-tar-1.32.drv
/gnu/store/yzdf628nbh3jydj0kldn66zv28m6vqng-git-minimal-2.23.0.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