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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/3i0l52x117bil1xji6k10v7bzqdbzcpn-git-minimal-2.26.2.drv
/gnu/store/6jax52mlkbf4akjn07cb6jdwyvvafr0z-gnutls-3.6.12.drv
/gnu/store/avzz0hi7g3ph3dd3j8yxqp3l7viam2mq-tar-1.32.drv
/gnu/store/bd6zv2xyz3fljdrndzwvip5n0m2nqh13-module-import-compiled.drv
/gnu/store/c9bcvcs8vfxbb3bjfnf6xz8fn0q3mpzg-guile-json-3.5.0.drv
/gnu/store/nk2ldrsylx12rxznik10yr9nhascfsxj-module-import.drv
/gnu/store/x32cnfkd50fnxs10xp1jdn24h7ai2gxr-guile-3.0.2.drv
/gnu/store/zqjhk437dm4rn1fanynvfrjm8nvmrrpa-gzip-1.10.drv

Derivation details

Builder/gnu/store/0m0vd873jp61lcm4xa3ljdgx381qa782-guile-3.0.2/bin/guile
Systemx86_64-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