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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/584xwchwkcgmr76pki7z0mp0p1icxb8c-guile-json-3.2.0.drv
/gnu/store/6yi683d1l3rsdnq98alan634bqjxfa9v-gnutls-3.6.9.drv
/gnu/store/b5rwvm9aars3fy2h1dm4v41i3k794ivf-module-import.drv
/gnu/store/dycfa1cj25ilqddsr3acxclw68r0azvy-gzip-1.10.drv
/gnu/store/lbbgpkrs9mpw68k1bz0dwpi8ch6gp557-guile-2.2.6.drv
/gnu/store/mlz5yj66iqhyk0f784rf9zq4lijcfigh-tar-1.32.drv
/gnu/store/nwip57s3p0nzmp011g0l29wgpnam1ag1-git-minimal-2.24.0.drv
/gnu/store/pkh02d4wzzqag183b9s98898fjbyx29v-module-import-compiled.drv

Derivation details

Builder/gnu/store/vlpabz0q67c7h1vcbrgfk6fchi64gmk1-guile-2.2.6/bin/guile
Systemi686-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