/gnu/store/10rdzfc14yjwwmmbivikd1l83g0kc87i-
agda-categories-0.2.0-checkout.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/0vbjzlkml2vir7nnl8zqpgrn992gx5dl-
agda-categories-0.2.0-checkout.drv
/gnu/store/1fdyz77q7qwqm12nf05zsqlxgpc7qwrk-
patch-2.7.6.drv
/gnu/store/2ff71r26mzc6j0jmg2hnbxl9rrwng8cb-
xz-5.4.5.drv
/gnu/store/4y1nj954qnrxjm6n706425ppzrysswsl-
tar-1.34.drv
/gnu/store/mpcpqg2z2496phr13mq6p66isj30ps88-
guile-3.0.9.drv
/gnu/store/ncp8ppqmp8cjnhb689jdj4hjhkprdk2i-
zstd-1.5.2.drv
/gnu/store/nmk9alm4rlvvqbqg8bxjzshaxkhbswy6-
module-import-compiled.drv
Derivation details
Builder
/gnu/store/xv4cd7qz4yan93zkjisbmbpxfz78hah2-
guile-3.0.9
/bin/guile
System
x86_64-linux
Build status
Succeeded
View build on https://bordeaux.guix.gnu.org/
Outputs
File name
/gnu/store/z8bhqzmvrksrdcywsaimqw8lvm8m7sax-
agda-categories-0.2.0-checkout