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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/ag1xljdx3k148bv5qdqwq8aj8wlq3vdx-guile-zlib-0.1.0.drv
/gnu/store/c3ck63gxr08qy07zrdzrhfirfmai45pi-gzip-1.10.drv
/gnu/store/gigpq1z2axpd59r5yrhr72c3v3myiz0f-guile-3.0.7.drv
/gnu/store/kzw1bhb8s7bhzw90jm2s57qll351qf6d-guile-json-4.5.2.drv
/gnu/store/lq774h30xn6i2phm8i0zz3zp0g8bp4xh-tar-1.34.drv
/gnu/store/lzzb9x982hpl32d4ibf21qg1y7hkzwjw-gnutls-3.7.2.drv
/gnu/store/qqjm34z0gm7hcxn44d7b1p9xb7fazg4j-git-minimal-2.34.0.drv
/gnu/store/xy1jsriq6wb47bpflyl6c5aw3g4nl74l-module-import-compiled.drv

Derivation details

Builder/gnu/store/8wn5hc06b064gsmd51p8a7fm20zvdlpp-guile-3.0.7/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