/gnu/store/rjz8kda0dzabw8s36yy2fx381kmi93rg-agda-2.6.0.1.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/08pyf3i8i1w64dnk4jxxy7vh5jm53kzd-ghc-boxes-0.1.5.drv
/gnu/store/0hm42xqi046csi1rkmc5ra00xc17k66i-ghc-aeson-1.4.5.0.drv
/gnu/store/13jdvhs4inkr165blwmqqa6hjmsjlxlz-grep-3.4.drv
/gnu/store/1kmx9v545f7s3zxc3lpf672n5azy144m-gzip-1.10.drv
/gnu/store/27jw6dzhyagy356hh72vj7rqz2b8vqh6-ghc-exceptions-0.10.3.drv
/gnu/store/2vvgqywfswk2fflkwvfw5wwszydz2bl9-gawk-5.0.1.drv
/gnu/store/30smx25j0vs46w8rhs0l0ya41m7fkn7k-xz-5.2.4.drv
/gnu/store/31100zqdwmyf88svh45ri1pi33x21rwv-binutils-2.34.drv
/gnu/store/50wknqrirnppb5i2nlvbyhhnn8p2y88m-patch-2.7.6.drv
/gnu/store/6mgxjn5xgr7w271vcnhq987fhkzqc4cz-ghc-happy-1.19.12.drv
/gnu/store/795av4gj68ajjrs2nb89f4w9215aw542-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/87b9lgvy17c0mplx23fdqn9hnxvy1k8g-tar-1.32.drv
/gnu/store/88hs5ikwm43swkgzmz11f7zaj6wy8in7-ghc-gitrev-1.3.1.drv
/gnu/store/8jmbvq2z3pzwkp9izb2sw58vlyyxcsca-ghc-blaze-html-0.9.1.2.drv
/gnu/store/8pc2k2x9jgkzy4sjbrlm7vh1cjsyj57a-ghc-hashable-1.2.7.0.drv
/gnu/store/9hiwbfg7vxfa2bivxb5nv4kfpbjxnpx4-sed-4.8.drv
/gnu/store/9v5vijr9v4f795c69snsfd0npw3a1g01-ghc-data-hash-0.2.0.1.drv
/gnu/store/a2fc9n8vlwkaip1bym9w4d0dzgg1b62b-ghc-hashtables-1.2.3.4.drv
/gnu/store/byc7bbm1lk8f0s84wjhkfn2lglkq1qnz-ghc-8.6.5.drv
/gnu/store/cp1n4qwwibx8jwjdrysaa3argqnlr1zd-ld-wrapper-0.drv
/gnu/store/csvnyra51vfyrfa6iydy6ba244dzhgx8-ghc-equivalence-0.3.5.drv
/gnu/store/dp9cbz03gm478jn5fsn2m1vfafxxwgic-ghc-filemanip-0.3.6.3.drv
/gnu/store/f2inq0w5lfg95fsl0ph5k211lb2h2m8d-ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/fgnwnryfgm5y1hxpvxh2vl7j0m42nh7l-file-5.38.drv
/gnu/store/g7alwf80xl5p7wrkky68y7g3qb7c4qyw-ghc-edisoncore-1.3.2.1.drv
/gnu/store/gxr99f4f2jv9502ldzxc3j4bv6fp6mbc-ghc-alex-3.2.4.drv
/gnu/store/gzjw5z41b08m2jzrw1c5vhgsgk94njqw-coreutils-8.32.drv
/gnu/store/ifbp1767xw7q8pjpp7wv47bvpzvgfz6b-ghc-zlib-0.6.2.1.drv
/gnu/store/igzqma3x3d86wd650j8j0vd72sgdzn6j-Agda-2.6.0.1.tar.gz.drv
/gnu/store/ikhypklgcp8qszlch2nz2xwf45k78r2h-bash-minimal-5.0.16.drv
/gnu/store/j979n68pcd2jy043q47qlcm9v2195kxv-ghc-uri-encode-1.5.0.5.drv
/gnu/store/llvsh7zi4ry8wadh7lbgbxi6jh297nx4-ghc-edit-distance-0.2.2.1.drv
/gnu/store/mk1h1i1qbah0xvs7yaa28i1nl73qzqfr-diffutils-3.7.drv
/gnu/store/n1yqvmb5aszvazn09rym9wi565sijgiv-ghc-strict-0.3.2.drv
/gnu/store/n4qiww8n1b8086vvw0lmmlrpbby047wi-glibc-utf8-locales-2.31.drv
/gnu/store/n8ijr0kcgd9ncjnx7jn4v9yv35hw6m75-findutils-4.7.0.drv
/gnu/store/nccrdw53i10k9a5r9gkis68h4qm0489n-make-4.3.drv
/gnu/store/nn4h8lmizcch7ng4j18m2i54c3cyvbb5-module-import-compiled.drv
/gnu/store/pg7xmb23km1aj7pam1nckq1dlqhzbb89-guile-3.0.2.drv
/gnu/store/rzmv807z8qhqv63p4a2yf6sqcx8pglcc-gcc-7.5.0.drv
/gnu/store/s66ns0cvdzbshivlvw5ywz0x8wbn55sv-bzip2-1.0.8.drv
/gnu/store/was47pmxvcv3fb9sxyzv2mbc0c4krdnj-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/wwqcrjvrcvv8yvb02f3wa8pxw20cysqz-linux-libre-headers-5.4.20.drv
/gnu/store/xmw7vlkwxi5pynz2zf3bd8r5m59cpm26-glibc-2.31.drv
/gnu/store/xn4cb3l9h60xxk67hyfpcwrp4xy1kv7r-ghc-unordered-containers-0.2.10.0.drv
/gnu/store/xxa127fc6f3dp51g4jnvs9ibkjvasf3d-ghc-ieee754-0.8.0.drv
/gnu/store/yd7zj4hjz17v2w27jiiksmv84j68ard3-ghc-async-2.2.2.drv

Derivation details

Builder/gnu/store/lgk876wh2bxxglplbwyymkx3sqzcbnk9-guile-3.0.2/bin/guile
Systemarmhf-linux

Build status

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

Outputs

File name
/gnu/store/klbss5xryhp962q9761kawyjjq0fv9mg-agda-2.6.0.1
/gnu/store/s1azr8qb2zf0mk7lwx8yvj6x7lvpq72y-agda-2.6.0.1-static