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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/0ih035mmrm18g6b4940rg1wql0573ndc-module-import-compiled.drv
/gnu/store/2048vysh7bskvj99p1nlqmg6lkpiys43-guile-zlib-0.0.1.drv
/gnu/store/46r1b1p2rrpicmpl5my1ifdczxma7v7f-tar-1.32.drv
/gnu/store/6vi6i37gqwdvp4dznn2kb1m1f4a2rv5b-guile-3.0.2.drv
/gnu/store/apfisc5aix5q1h0i3cfqgrr3cjqyl3mz-guile-json-4.3.2.drv
/gnu/store/ikj5bgpgzf5bjz30h4ja1lav5z05m12h-gzip-1.10.drv
/gnu/store/yrsvhjxpc4g8nvf2b4l33942cz8znpwn-gnutls-3.6.12.drv
/gnu/store/z8602553wa4i76fjglbf9v3sfh03403v-git-minimal-2.29.2.drv

Derivation details

Builder/gnu/store/f855x7hpmrxp5niaalx344h5p2v8i5zh-guile-3.0.2/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