/gnu/store/1sh2k8y9kpfji9m1mqv6c2qi7lfvy8ch-
agda-ial-1.5.0.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/2j5348zpz32qmb7x4v5ipg26d269hgxf-
coreutils-8.32.drv
/gnu/store/32bmvbyzw6pfxc42j7bcz8iags9bb1yy-
sed-4.8.drv
/gnu/store/3dnvk3jhvrdqw71h65ww3k72qjy6z7fp-
linux-libre-headers-5.10.35.drv
/gnu/store/41rhrh5h51qxw3qf106bcv7yvxxcsbz6-
file-5.39.drv
/gnu/store/5mqlzr4gs2f28c4i64rcbxs2zw2zzfzc-
gcc-10.3.0.drv
/gnu/store/7giwdirdp0q925kzb7ay3gp6ydjd5pxj-
ld-wrapper-0.drv
/gnu/store/a81rf3v5mjagwgpkakrzz4gvb5f4fbry-
xz-5.2.5.drv
/gnu/store/c8pbra201pa1dz1m5jxy3qx1gd5y087s-
findutils-4.8.0.drv
/gnu/store/cd0h0yx8lhc5im2dc2p9yfd8sjr9hhn4-
grep-3.6.drv
/gnu/store/hnrhaqsi9ghp783qskl51bl7hr7szw71-
diffutils-3.8.drv
/gnu/store/jm62076lrqz2r08xx2wk3n7z39fqwxrz-
glibc-2.33.drv
/gnu/store/kafi3r71nd0apvhgmzyd1kfr7izmlc82-
agda-2.6.2.1.drv
/gnu/store/kamynhbq2wh7k9pxwxfhmrd7qvmfw6xj-
module-import-compiled.drv
/gnu/store/kpamgrkx7s00hab0jam3dw8plf9c9rkr-
glibc-utf8-locales-2.33.drv
/gnu/store/ldfqac2lx7258h0pb97qg92v3c5plmw2-
patch-2.7.6.drv
/gnu/store/lv9x8wrmix4yllrw1ik3z0kza9ng1db7-
bzip2-1.0.8.drv
/gnu/store/m83xw2nwvf414hy0aiibmk71ivmqffrg-
gawk-5.1.0.drv
/gnu/store/mwzi7pi75p2jax549wqz3yhw9qwjn0l1-
agda-ial-1.5.0-checkout.drv
/gnu/store/n1ak61bdi5c3hcqzi5ffxg6vi55q531y-
guile-3.0.7.drv
/gnu/store/ps7gad8q7mwijbawnwz8bc2sh02v87qg-
tar-1.34.drv
/gnu/store/s87rbv752j97qvmj7c1l7ri7n45za6sz-
binutils-2.37.drv
/gnu/store/vb74jh13yykpnp480pxl1iphyaj9l5fy-
make-4.3.drv
/gnu/store/ygha12j35vp9b9bm1xg4yg0aw0z48l8a-
bash-minimal-5.1.8.drv
/gnu/store/ygysqpmhkqwy6hz4djh1rl5fncl06ph1-
gzip-1.10.drv
Derivation details
Builder
/gnu/store/70pprbqqkqzrx40c1q5l9qqh29baa203-
guile-3.0.7
/bin/guile
System
aarch64-linux
Build status
Scheduled
View build on https://bordeaux.guix.gnu.org/
Outputs
File name
/gnu/store/8draprchz0rmbj90c3j01swh0237rvaw-
agda-ial-1.5.0