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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/33mgm49ycards2phjgf6v3yaan6y3dbk-git-minimal-2.25.0.drv
/gnu/store/3g4dk4f1b5h4laivv19g9mwpyy4k1awg-guile-2.2.6.drv
/gnu/store/4hxla5pfgr9fsv0gw5wcj1rs2n7gzds3-guile-json-3.2.0.drv
/gnu/store/d8hvzdniszwsvqm3szwf0qnr9ylw701h-gzip-1.10.drv
/gnu/store/knacf4z84j7kf3lgcrgfp5j1hly6aqbx-tar-1.32.drv
/gnu/store/wwxqcbk6n2r72ld5nzh32k577j8afddm-gnutls-3.6.12.drv
/gnu/store/x0zz6sxw853p877qg3n6iv3cpd317vxa-module-import.drv
/gnu/store/y7x0imkg5vq5gp94iijdh0zbpk6rs1rq-module-import-compiled.drv

Derivation details

Builder/gnu/store/zia3b1835rl11mf4ircg4z4fi183fxal-guile-2.2.6/bin/guile
Systemaarch64-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