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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/4n4f0jzlz0wx77zxnkd2y4cac5cryzag-git-minimal-2.34.0.drv
/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/k2ds76fflrnc7ihlarpv47kh3d5lqdxa-gnutls-3.7.2.drv
/gnu/store/kzw1bhb8s7bhzw90jm2s57qll351qf6d-guile-json-4.5.2.drv
/gnu/store/lq774h30xn6i2phm8i0zz3zp0g8bp4xh-tar-1.34.drv
/gnu/store/vmf0k67waapc30ks1f2h5wzkgrfj48rj-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