/gnu/store/kc3hrzdnk5vf070d23aa8g8jwh0k17hj-
agda-ial-1.5.0.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/1b6yp2plx57giwkj2da8b8xsyrlgjc98-
glibc-utf8-locales-2.33.drv
/gnu/store/2apzxfqsydrsn0ws29cbkfizm6qscmgm-
gzip-1.10.drv
/gnu/store/2cigpgs5cbbxdsqqglc0ydfgdkj5zvmv-
agda-ial-1.5.0-checkout.drv
/gnu/store/2dh8n2pcxywsm2annk4wjcbh6gpj39dn-
tar-1.34.drv
/gnu/store/38fh81i5nj9xfp0sghv44nanbf3mlb2i-
binutils-2.37.drv
/gnu/store/3c3685jly8l4d5angahbwdqhhhh8257k-
module-import-compiled.drv
/gnu/store/4dzkh8d3hkshiz0va7n03nhnvrl4xaia-
file-5.39.drv
/gnu/store/5azjbaq8dlc01klbwi25pcys75nrmvi2-
xz-5.2.5.drv
/gnu/store/778lidshnmhryc6ny4hdyl896pnd82sh-
sed-4.8.drv
/gnu/store/7ad861kilhhbnfpzdh1ff1kvfjkvb49j-
patch-2.7.6.drv
/gnu/store/7fgdka8s9r58chla1x1sapcarsa7gngx-
bzip2-1.0.8.drv
/gnu/store/8dg62pdxq0q5dswmnkrnr8ai8f398dj3-
grep-3.6.drv
/gnu/store/a049kr8nqqja7p2pj8s5zahkjaxgkmp5-
ld-wrapper-0.drv
/gnu/store/aisdjw89lx3g0byslm6lralxp3wzy4gk-
diffutils-3.8.drv
/gnu/store/cqc67l1lp970a3ypzj2c2qdw921x3zcm-
coreutils-8.32.drv
/gnu/store/d2h8ryxbz16xhspick6fpj7hvhkqd0ig-
agda-2.6.2.1.drv
/gnu/store/d92hwyzw2j27vqasmv492wcg13g444g4-
findutils-4.8.0.drv
/gnu/store/dvb2dk56i0dd9pif6y2if3rm96cxzyp4-
bash-minimal-5.1.8.drv
/gnu/store/fsz4fcx4j2z8mzbrxz3p03qgc06c21lp-
hurd-core-headers-0.9-1.91a5167.drv
/gnu/store/lpacayjkkjrnfq70588brcpjpg8h9h4j-
make-4.3.drv
/gnu/store/m7cnaav9dr9jsaf40wnp4d1yb8kw1jrb-
gawk-5.1.0.drv
/gnu/store/pxjwh5v8mnkfi2hvzm84qlkqanjvmaq9-
gcc-10.3.0.drv
/gnu/store/razagbjmh8fwnpyckb1v76a6ndcinc7z-
guile-3.0.7.drv
/gnu/store/zdd3ly3633l9mfaalfi3dvqyk2qp93vw-
glibc-2.33.drv
Derivation details
Builder
/gnu/store/inb5f91sznk8w2ykzzzhpmxnqdh0hsci-
guile-3.0.7
/bin/guile
System
i586-gnu
Build status
Scheduled
View build on https://bordeaux.guix.gnu.org/
Outputs
File name
/gnu/store/r8hz1zbxpds2v4jcghdzmd727hiwrrj7-
agda-ial-1.5.0