/gnu/store/6fjjnf0sn2z28lsflcfxn68dy3q2mi17-agda-ial-1.5.0-checkout.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/3g4dk4f1b5h4laivv19g9mwpyy4k1awg-guile-2.2.6.drv
/gnu/store/4hxla5pfgr9fsv0gw5wcj1rs2n7gzds3-guile-json-3.2.0.drv
/gnu/store/6msycml8p78shyqqlr1i1z5w285ja18z-git-minimal-2.25.0.drv
/gnu/store/d8hvzdniszwsvqm3szwf0qnr9ylw701h-gzip-1.10.drv
/gnu/store/knacf4z84j7kf3lgcrgfp5j1hly6aqbx-tar-1.32.drv
/gnu/store/n0fvkkmkpdn5nvqhjaw47i255h43p2rr-module-import-compiled.drv
/gnu/store/rxvg8fgzkyphy2x1qq452h488p2v0gvh-gnutls-3.6.11.1.drv
/gnu/store/x0zz6sxw853p877qg3n6iv3cpd317vxa-module-import.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