/gnu/store/k6ydrvlxh7glhw1km138wj2nbf927jza-
agda-ial-1.5.0.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/2zz5czlq9lym7bm3jk7dq2lfy47bxzmy-
tar-1.34.drv
/gnu/store/44fbgkflgc567a0gw1yblk38q6bwwcjf-
findutils-4.8.0.drv
/gnu/store/6prxm9gm3i1dr5p6c127mpkx7506h55r-
gzip-1.10.drv
/gnu/store/8rrzhjlr2qp31a5fgy0ccaddg7g331vk-
coreutils-8.32.drv
/gnu/store/8v98lighvawybwg38fyz0zr3n5zcji8m-
glibc-2.33.drv
/gnu/store/c644almy91s4d82jc1rv5qq67i10vrp5-
patch-2.7.6.drv
/gnu/store/clv7zpdn3vbwkjbkj7j7mb05kacyhc6c-
ld-wrapper-0.drv
/gnu/store/cvnj9h17l6mlhambfik3fl6g9sfjbq3b-
agda-2.6.2.2.drv
/gnu/store/di66l0qh9lf03j84ssww5xq5q586pb41-
grep-3.6.drv
/gnu/store/gbbhpp4rja9ygz8kfj91w5g3pvawsrx6-
sed-4.8.drv
/gnu/store/hi4za705myjmdkpszam1gnvaiss1xp7k-
linux-libre-headers-5.10.35.drv
/gnu/store/hy7n1qfybm18cvlsvjjjc4vg7mnhcahr-
module-import-compiled.drv
/gnu/store/ifix9jz0q2j8rkmh4g3hzdcw5pf0wj9m-
xz-5.2.5.drv
/gnu/store/klszb7jwx47829y355x58ydhvh8pd6k1-
agda-ial-1.5.0-checkout.drv
/gnu/store/lr22hyh7jnm024s0y3g1d7x3xhs28fbj-
gawk-5.1.0.drv
/gnu/store/p0fchw48hrm3gqjw2yw2fvlw7vfbxpp1-
gcc-10.3.0.drv
/gnu/store/pivpb4y3lnxwjxza173klabgnp61mpky-
bzip2-1.0.8.drv
/gnu/store/pm1142hd20z11lqh3sd952x1k8rgfidy-
glibc-utf8-locales-2.33.drv
/gnu/store/q7s381f5qyrlrjcmjla7f79lb27ifpl6-
make-4.3.drv
/gnu/store/r0d8sg8f3ll0gl3d0w5afmyh0x07rvim-
binutils-2.37.drv
/gnu/store/sqmn34cxqjd00k5k6clggmfrzimx34qj-
guile-3.0.7.drv
/gnu/store/w8xrf5m02n3skvgqj22gjax1pyb2sxkw-
diffutils-3.8.drv
/gnu/store/zpjin5jakmxsvfxwdcch83d354zzmng0-
file-5.39.drv
/gnu/store/zx73g7mwbx3385dr29c4z0wyq24wwr1g-
bash-minimal-5.1.8.drv
Derivation details
Builder
/gnu/store/7n5vpd85mgm1vi5jap51gnwfavxqf5la-
guile-3.0.7
/bin/guile
System
i686-linux
Build status
Scheduled
View build on https://bordeaux.guix.gnu.org/
Outputs
File name
/gnu/store/qbmcnv2gz0lc38knkig27x9m3kfiaa6b-
agda-ial-1.5.0