/gnu/store/78cyla44a2yiqr6d7klszrhkjh9q5gg2-agda-ial-1.5.0-checkout.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/3z1pyaqfhvg5pyzp2lfhy57v0m184src-gnutls-3.6.12.drv
/gnu/store/5ahv835bbgs1xzdr25jxmbn93prh3kmy-module-import.drv
/gnu/store/5s9yv78pniqm4ipr7zpc1cgwkr4lhzp7-git-minimal-2.27.0.drv
/gnu/store/78nqzdhz909dxd5h00j121yrgkp01j5a-gzip-1.10.drv
/gnu/store/gv4nmn4n0crig3ybav01y2ypnxb8rk7c-guile-json-3.5.0.drv
/gnu/store/hk6mc2wxp4jzzqnwwp50x924hmx5bsh2-guile-3.0.2.drv
/gnu/store/kk5ac09di4gaa75ywkq7ba0fgd5nhmiq-tar-1.32.drv
/gnu/store/msvf5x26rz2k5nnykvjv77780khzrvc6-module-import-compiled.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