/gnu/store/kafi3r71nd0apvhgmzyd1kfr7izmlc82-agda-2.6.2.1.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/01nvgc98p7jhcqad8h7b6nzs4zmkjyi4-ghc-strict-0.4.0.1.drv
/gnu/store/2j5348zpz32qmb7x4v5ipg26d269hgxf-coreutils-8.32.drv
/gnu/store/32bmvbyzw6pfxc42j7bcz8iags9bb1yy-sed-4.8.drv
/gnu/store/37qb827gja89bbhh80zn5zm4zran8j40-ghc-edit-distance-0.2.2.1.drv
/gnu/store/3dnvk3jhvrdqw71h65ww3k72qjy6z7fp-linux-libre-headers-5.10.35.drv
/gnu/store/41rhrh5h51qxw3qf106bcv7yvxxcsbz6-file-5.39.drv
/gnu/store/534ac1a83pf8rc99y241x2324wakcwbk-ghc-uri-encode-1.5.0.7.drv
/gnu/store/5mqlzr4gs2f28c4i64rcbxs2zw2zzfzc-gcc-10.3.0.drv
/gnu/store/5sz9f7fmjc3bh0iybfh8k7dl8n01dan6-ghc-regex-tdfa-1.3.1.1.drv
/gnu/store/7giwdirdp0q925kzb7ay3gp6ydjd5pxj-ld-wrapper-0.drv
/gnu/store/9m415by0sd61kprss8afggjfnjl3hrwj-ghc-case-insensitive-1.2.1.0.drv
/gnu/store/a81rf3v5mjagwgpkakrzz4gvb5f4fbry-xz-5.2.5.drv
/gnu/store/c1hd45k8srb4w156h5blqinhkf3jcx72-ghc-split-0.2.3.4.drv
/gnu/store/c8pbra201pa1dz1m5jxy3qx1gd5y087s-findutils-4.8.0.drv
/gnu/store/cd0h0yx8lhc5im2dc2p9yfd8sjr9hhn4-grep-3.6.drv
/gnu/store/gaswmwhbxn96rl4g9h83n8qpscv8vmzr-ghc-aeson-1.5.6.0.drv
/gnu/store/glwp42iggndsakv9kkm8x35z1zlv1ahd-Agda-2.6.2.1.tar.gz.drv
/gnu/store/hnrhaqsi9ghp783qskl51bl7hr7szw71-diffutils-3.8.drv
/gnu/store/i2zaqk7jfkl7wla8swqbilakdbal7274-ghc-data-hash-0.2.0.1.drv
/gnu/store/ikc7lh3r0kxy08ha8i4imsf3gkgkyrzr-ghc-boxes-0.1.5.drv
/gnu/store/jm62076lrqz2r08xx2wk3n7z39fqwxrz-glibc-2.33.drv
/gnu/store/jzx7xgiw8pxql7l57spaw6ncx9samk8r-ghc-blaze-html-0.9.1.2.drv
/gnu/store/k652ra7abcp9h5mqka1awilrsp6jiylg-ghc-parallel-3.2.2.0.drv
/gnu/store/kgkz86wl78m16m8q87dcni0zpd5qzc5y-ghc-async-2.2.4.drv
/gnu/store/kpamgrkx7s00hab0jam3dw8plf9c9rkr-glibc-utf8-locales-2.33.drv
/gnu/store/ldfqac2lx7258h0pb97qg92v3c5plmw2-patch-2.7.6.drv
/gnu/store/lqq7c2l8gya0hfgi27hn8g7nhp0mzcmv-ghc-alex-3.2.6.drv
/gnu/store/lv9x8wrmix4yllrw1ik3z0kza9ng1db7-bzip2-1.0.8.drv
/gnu/store/m83xw2nwvf414hy0aiibmk71ivmqffrg-gawk-5.1.0.drv
/gnu/store/n1ak61bdi5c3hcqzi5ffxg6vi55q531y-guile-3.0.7.drv
/gnu/store/paapggb9pjxwwzlcamw5lnhxyr4mnc31-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/ps7gad8q7mwijbawnwz8bc2sh02v87qg-tar-1.34.drv
/gnu/store/qfyyb2gp05ngqaz09abl83c7bq3sgwic-ghc-hashable-1.3.0.0.drv
/gnu/store/qyybw7r77y567dn3n40f1jdvwvm0gwpd-ghc-happy-1.20.0.drv
/gnu/store/r7cr8bn9a9p1f7ia6xa8ky250q43sf8y-ghc-zlib-0.6.2.3.drv
/gnu/store/rd0k3fzv843v53ajz7jf08f97q64fpan-ghc-equivalence-0.3.5.drv
/gnu/store/rdn8fmc86z9yd5cscijzifsyvn8vgbnc-ghc-gitrev-1.3.1.drv
/gnu/store/rdw0ivnjq60y2m2as6yx3hyvs9xdydmx-ghc-hashtables-1.2.4.1.drv
/gnu/store/rivamy3yk4cb34y1z534fcpi1887l251-ghc-unordered-containers-0.2.14.0.drv
/gnu/store/rpmnfjjq5n6gsbzvjl9f0d2wz6g3v2h9-ghc-8.10.7.drv
/gnu/store/s87rbv752j97qvmj7c1l7ri7n45za6sz-binutils-2.37.drv
/gnu/store/v16j0lsga1pxng2sbcg58csya7gjfh2g-ghc-monad-control-1.0.3.1.drv
/gnu/store/vb74jh13yykpnp480pxl1iphyaj9l5fy-make-4.3.drv
/gnu/store/x4nsswclxbmzz15psnfqnadkdlr2wqcc-module-import-compiled.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
Systemaarch64-linux

Build status

Scheduled
View build on https://bordeaux.guix.gnu.org/

Outputs

File name
/gnu/store/2jw4ingsz752s0x9k4g38ipzqhdl4wfd-agda-2.6.2.1
/gnu/store/9k2jmgwp7r9ig7f60cbwq16x8ziwiya1-agda-2.6.2.1-static