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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/1zvpp2jshx29n84j5n3gx3anm1isxvmw-git-minimal-2.25.0.drv
/gnu/store/54clgl41rs5fvdb88n1ng9qh569c7iib-guile-json-3.2.0.drv
/gnu/store/5v7y5la16vv8k5szhiv2rra40wj0pfhm-gzip-1.10.drv
/gnu/store/bka7g0j1mb435109163435snmrpcarqb-module-import-compiled.drv
/gnu/store/c2s5m92cycisavxxz1ciwq9fix0cpq6r-module-import.drv
/gnu/store/jmxqjk7ihjszafbka35vhgkx2vm8mrlw-guile-2.2.6.drv
/gnu/store/pn8b9vn1b1k0bpwn25rv4j7g3r7qjj92-tar-1.32.drv
/gnu/store/vq9gb3mq36gdfkbamlbarizw655yhzlz-gnutls-3.6.9.drv

Derivation details

Builder/gnu/store/8x1l6vh0zqk09yfpcrhkylmrilj887f6-guile-2.2.6/bin/guile
Systemmips64el-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