/gnu/store/96ia5ngqd02j7ic35w8wgjd9w8c5vqka-agda-ial-1.5.0-checkout.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/4as910sgn7gwivcq5ca8xizk5n9m2vn9-module-import.drv
/gnu/store/by33jwjl3cr9783y60n8rk72sxzjqx8p-guile-json-3.5.0.drv
/gnu/store/h87y6cllsp32xizc1c5gfb91sm9100qi-guile-3.0.2.drv
/gnu/store/ly4nznd5an2za90bzmf6v91r7qfy4jv7-gnutls-3.6.12.drv
/gnu/store/nzf4pzgr4sfv4czp5gwzypijw28hbzz3-gzip-1.10.drv
/gnu/store/pm77dbn7fmby8gl8ix2gdihzpy3w0rh2-module-import-compiled.drv
/gnu/store/rspgp79si3gwbm466g6r07rkxaxmr41y-tar-1.32.drv
/gnu/store/ry36j09yy701b16zg2iqddadzm5hyax9-git-minimal-2.26.2.drv

Derivation details

Builder/gnu/store/lgk876wh2bxxglplbwyymkx3sqzcbnk9-guile-3.0.2/bin/guile
Systemarmhf-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