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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/10x8lxvxqf0gqavzh25cza7zli3ffrab-module-import.drv
/gnu/store/3lamvpjmv5vg58c78lz2x4cb6bqh5dy2-tar-1.32.drv
/gnu/store/4sb0ps1f0gbzjfp4fnsqzq2dy29r4ih5-gnutls-3.6.9.drv
/gnu/store/8wy0198bg1mhjjx2ini3j05qqcs227rp-guile-json-3.2.0.drv
/gnu/store/b1ac79hln7jwnh9fh359asdq4cl54xax-gzip-1.10.drv
/gnu/store/ljv6iv1434lillji5a51127rci714765-git-minimal-2.25.0.drv
/gnu/store/m6lr1his3iz5k6dniczdpk8pdlh58byb-module-import-compiled.drv
/gnu/store/mfdb3nid3qykrhmgdh9qhiqr57gjh5js-guile-2.2.6.drv

Derivation details

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