/gnu/store/ac0xwdwk2l01yb7sdk16niqnl79bdxdh-
agda-1lab-0.0-2.549fdb1.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/7ym1v8ghzp694p3ygm0fdhj0anc9arfp-
module-import-compiled.drv
/gnu/store/9dpbf0fix5n3gwrh0656k0yzcm0v2lys-
guile-3.0.9.drv
/gnu/store/mc1ww2h4ch6vn5827fvl4vd95rxlgnlh-
agda-2.6.4.drv
/gnu/store/n9kblf5cx4lphrydjr90sp3zfvcdr1pb-
glibc-utf8-locales-2.35.drv
/gnu/store/s9jn2ms5c5xjwrmbrs6wfmrdm067h9jl-
agda-1lab-0.0-2.549fdb1-checkout.drv
Derivation details
Builder
/gnu/store/g8p09w6r78hhkl2rv1747pcp9zbk6fxv-
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/mhpdxpxgrq9jjnc4fx9j3lb105yr3rbr-
agda-1lab-0.0-2.549fdb1