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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/1vfr2g71p1d3zv0ziimlxk9jgbx17fw9-gzip-1.10.drv
/gnu/store/3cj1lwbpj245d24p16ls920blm0l96c9-module-import-compiled.drv
/gnu/store/3j092g9xkbybpqrbcvs0271mcbccgk2s-tar-1.32.drv
/gnu/store/8xsl2zj40h2yrgfrd3rx3nq0ybadns9k-guile-3.0.2.drv
/gnu/store/lsrcqq59p803blyd30zdcmbq334s2s39-gnutls-3.6.12.drv
/gnu/store/sxv7lxw6ynyc1cyj5w4hm3kj1n97mw1d-guile-json-3.5.0.drv
/gnu/store/vr99igaicdrfrza7qw06abcg1n6ds8wy-module-import.drv
/gnu/store/wlrgj5i2d2hiy9dywc64qavxvscqamz1-git-minimal-2.27.0.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