/gnu/store/1515wdv1zjzh0fgwnmfwx0c2p15nnac0-agda-ial-1.5.0-checkout.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/0k8whbn1b5xccp0nmwqx7lj9a4051rk2-module-import-compiled.drv
/gnu/store/4m5339j6wz61rx772fm8f0x101k291cm-git-minimal-2.26.1.drv
/gnu/store/9j3b6l98a4x3wjpkxd6x9pq68d6vjama-guile-json-3.2.0.drv
/gnu/store/a83p52sxfdgnjs1jsp5pbq6gfpvcj2dl-tar-1.32.drv
/gnu/store/d0xmps3q2cahmq9jqkqbphsq2rvsk277-guile-2.2.6.drv
/gnu/store/fhb02hyg1298hk7hn1w9v7l5ngvbpr7i-module-import.drv
/gnu/store/rzjj233f5jpcwgm4577asnx9hyn49cpc-gzip-1.10.drv
/gnu/store/xfz3rm4bfqj3mrxs47f9x323f20hk6sa-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