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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/3lamvpjmv5vg58c78lz2x4cb6bqh5dy2-tar-1.32.drv
/gnu/store/4sb0ps1f0gbzjfp4fnsqzq2dy29r4ih5-gnutls-3.6.9.drv
/gnu/store/4wlw56rr87zl3alja2l9bqifl67d5vph-module-import-compiled.drv
/gnu/store/8wy0198bg1mhjjx2ini3j05qqcs227rp-guile-json-3.2.0.drv
/gnu/store/b1ac79hln7jwnh9fh359asdq4cl54xax-gzip-1.10.drv
/gnu/store/gfzwb5c91gg50l0k98xn121ap57xnzi0-module-import.drv
/gnu/store/mfdb3nid3qykrhmgdh9qhiqr57gjh5js-guile-2.2.6.drv
/gnu/store/rcp82mxr3jw3976srggxnrrf15zv8rim-git-minimal-2.24.1.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