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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/6rbdxv5lckzr8akrzw169682rapyi3zb-gnutls-3.6.9.drv
/gnu/store/7wzivbs4g2l1mip0mj4zv0b0018ipqkm-tar-1.32.drv
/gnu/store/cwbys84cw6ph0cvqzjzwfas9nwl48s1p-guile-json-3.2.0.drv
/gnu/store/db0z6g1ha7z2g45217zgrghlzdyka1qg-module-import-compiled.drv
/gnu/store/m88s4z41rhswafnxyl4jgqg3gyi8z34j-git-minimal-2.24.1.drv
/gnu/store/r52hnacw3an0d7vz59bq0zkhp5vw4l8i-guile-2.2.6.drv
/gnu/store/wsa9wxqjf6cqdz527v22jmbwfkji0ygy-gzip-1.10.drv
/gnu/store/yz97vz4mg6rs6dszihqfln8xmsjf4i24-module-import.drv

Derivation details

Builder/gnu/store/vlpabz0q67c7h1vcbrgfk6fchi64gmk1-guile-2.2.6/bin/guile
Systemi686-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