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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/12bcjxdx3kk2j9mrhr6vnp64s8nm8m46-gnutls-3.6.11.1.drv
/gnu/store/5byvgypc72kwyw833yk6h4crkbnvljnx-git-minimal-2.25.0.drv
/gnu/store/991awra65rfwwpm2pbh6x1wkj1sj0n1c-guile-2.2.6.drv
/gnu/store/bjyzmhkkiysir8g8b5ajz45vb763r5fa-tar-1.32.drv
/gnu/store/gg1f1jbs3khbqzk1l6yx25520sg1cndg-guile-json-3.2.0.drv
/gnu/store/mni45k2ihhqwsjbz482n72v0d3icz5b6-module-import.drv
/gnu/store/qyx1fl10gim9xlwjzmbzz0k43ay7pyyn-module-import-compiled.drv
/gnu/store/r171clfjs1cb1ddl811pgvk652rwva2m-gzip-1.10.drv

Derivation details

Builder/gnu/store/8x9c0glsk2mqz13qda6gs9nlznnwz8qm-guile-2.2.6/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