/gnu/store/3v9qmi0bdmgp8qlakvf5l41zjphq4dip-agda-1lab-0.0-2.549fdb1-checkout.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/01m0nrvqpvrhlp0b1gk1q9jali8h9b9s-module-import-compiled.drv
/gnu/store/2f3kxrng4hjlgmzd5vphs8m3xmsyvnax-guile-gnutls-3.7.12.drv
/gnu/store/9dpbf0fix5n3gwrh0656k0yzcm0v2lys-guile-3.0.9.drv
/gnu/store/b9rzfn9f0kijkskkrxn7az3s6sgwg4xx-guile-json-4.7.3.drv
/gnu/store/hqah3r4lybvl1264bpj6prrlp3w3mm4n-gzip-1.12.drv
/gnu/store/n9kblf5cx4lphrydjr90sp3zfvcdr1pb-glibc-utf8-locales-2.35.drv
/gnu/store/rmm64kbl9p5zl26scq7fbxivvy0q3rdz-guile-lzlib-0.0.2.drv
/gnu/store/w1n0nzxdaw6kjm6dbh1717jw3dm0vdxq-tar-1.34.drv
/gnu/store/x2wbmdcd6xnpcrx9gaj7pv3m496k4qn4-git-minimal-2.41.0.drv

Derivation details

Builder/gnu/store/g8p09w6r78hhkl2rv1747pcp9zbk6fxv-guile-3.0.9/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/

Outputs

File name
/gnu/store/6rhngb844gxvb5ybi6cbc8aszkbggzlh-agda-1lab-0.0-2.549fdb1-checkout