/gnu/store/17a8msp5k74ssh4i0wqgxk4nvng0ixnb-
agda-1lab-0.0-2.549fdb1.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/3v9qmi0bdmgp8qlakvf5l41zjphq4dip-
agda-1lab-0.0-2.549fdb1-checkout.drv
/gnu/store/5sq0zp98v5iv28kf3wvzm13785sjlibm-
agda-2.6.4.drv
/gnu/store/7ym1v8ghzp694p3ygm0fdhj0anc9arfp-
module-import-compiled.drv
/gnu/store/9dpbf0fix5n3gwrh0656k0yzcm0v2lys-
guile-3.0.9.drv
/gnu/store/n9kblf5cx4lphrydjr90sp3zfvcdr1pb-
glibc-utf8-locales-2.35.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