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

Inputs

File name
/gnu/store/1nzc5fwsv7lgyqhnmmragikh8mli74rp-xz-5.2.4.drv
/gnu/store/1pjp5cailn1kn5km9l246mrgwiwcw5cp-ghc-boxes-0.1.5.drv
/gnu/store/1qj8rci1yb6878w440dd5kc1v1flszl4-ghc-edit-distance-0.2.2.1.drv
/gnu/store/1vjj37rkf5csdn2f810k6a6lik22dkjl-ld-wrapper-0.drv
/gnu/store/26xqj7vp91zp17h9rn38knd48sahdkkw-ghc-happy-1.19.12.drv
/gnu/store/2lmdda09kxqzxhfiid7sryv8dzfzxcvn-make-4.3.drv
/gnu/store/4jwin41xpm0ndjzb2c43p8k28rxsa992-diffutils-3.7.drv
/gnu/store/4qidxc5hmmbg2pw6d4011gi3xxim0ymy-ghc-ieee754-0.8.0.drv
/gnu/store/5j2zlvw8pyiirar8ifn5jb33rh3vbsbh-ghc-blaze-html-0.9.1.2.drv
/gnu/store/5y9lfi7q2k91m7zl4ws4yzabvn53caw9-binutils-2.34.drv
/gnu/store/6kg2wbbb0vrqnqd9s4z7jfxcp2wjk8si-ghc-aeson-1.4.5.0.drv
/gnu/store/78hrjz5i5dqgm65diyr83a2kmmahyybf-ghc-edisoncore-1.3.2.1.drv
/gnu/store/78wwm1blr4cy24y089df7bh3infzlgyx-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/89g2x546nx6bn6i0k65x2ljz1wayqw3g-ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/8fxbxdlbxa9zfyi27yczjzyhigavccjh-bzip2-1.0.8.drv
/gnu/store/b1jv6n84q4asxdxyr5yfgvk402kia355-ghc-data-hash-0.2.0.1.drv
/gnu/store/b83v27mhy1y5w31cgxxc2krxvshik8k2-bash-minimal-5.0.16.drv
/gnu/store/bghd7z7y3zq3ilf06fxppaiyg6wj9rhf-gawk-5.0.1.drv
/gnu/store/bhi235slzsxgwi9lcm24aijr238kjcha-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/bwflkgk0mx4np0f6qza1a078fvraxarh-ghc-equivalence-0.3.5.drv
/gnu/store/d999ayg4ijapqxiwbn40f963hzazabd1-tar-1.32.drv
/gnu/store/dk5p3h3mn5s40ycnddgw9064bphz2pp1-ghc-strict-0.3.2.drv
/gnu/store/f417ikqrsarh20ypyhkv48zpzh4982fj-gzip-1.10.drv
/gnu/store/fki6ys0riplwf6frpljvffjcn8aag4cw-ghc-alex-3.2.4.drv
/gnu/store/fmaafplr6a6khr6v8531lf0qplawlbnk-ghc-8.6.5.drv
/gnu/store/frfq4b3yx8h1m9si8nrwvbb2hpblm9bk-ghc-hashtables-1.2.3.4.drv
/gnu/store/h7v1yqzv6jf7pjw98qa58j30pgmfija0-ghc-filemanip-0.3.6.3.drv
/gnu/store/hfy9zf68r4k7xdd3s7d2k0rvazfzdhqq-ghc-async-2.2.2.drv
/gnu/store/i4z94idm7ad2x06cbnvzpg9s9nn7554b-guile-3.0.2.drv
/gnu/store/ik8pfllhp2qkz2ckjkzh6j0mqvp7lzbq-coreutils-8.32.drv
/gnu/store/imgi8l0lrgajr1kvpgxrcvhfwkn0c5vh-ghc-gitrev-1.3.1.drv
/gnu/store/k5r1729xjjzpgs5kpykadq2zvf6lnq04-file-5.38.drv
/gnu/store/lh0ljsfzsa4cj5s0qscxynx7ngpzcs8n-ghc-exceptions-0.10.3.drv
/gnu/store/m22c5hbmm3rfnkq6gca9z18y2v8nmv2x-ghc-hashable-1.2.7.0.drv
/gnu/store/m3zbdabxz25k7bqgji7b1c41khnak5g6-ghc-uri-encode-1.5.0.5.drv
/gnu/store/n8xm6kawfhqx8rdvgfdvr3vma58rznfw-Agda-2.6.0.1.tar.gz.drv
/gnu/store/nc10pmhfav2qff8pi6lwpqf1gg4s7kkw-findutils-4.7.0.drv
/gnu/store/p2qf8gha74b668710455vf5k8qxhpxnp-glibc-utf8-locales-2.31.drv
/gnu/store/pvnd8k37zra4f54hjy2g6vlb9axk2zrw-grep-3.4.drv
/gnu/store/pvwf49a6q7cn116anxy884b9l8vfns1f-glibc-2.31.drv
/gnu/store/r5hqivbq4jr5041961a07q50nyfzj52l-ghc-zlib-0.6.2.1.drv
/gnu/store/rbzinrzdd02ym6zdx2i39gfqw14v67ya-gcc-7.5.0.drv
/gnu/store/rx58xlpnpn4jdv23vmxgydw3qr22kz5z-patch-2.7.6.drv
/gnu/store/s8ws1alsrz94vfa4cy5f5zd1fvpckjci-linux-libre-headers-5.4.20.drv
/gnu/store/wplkwhw8kc4d6rk01qh27ndcb7yxcy9y-ghc-unordered-containers-0.2.10.0.drv
/gnu/store/yjijliy5g9hp85xxdayb2rr0m5dryh2p-sed-4.8.drv
/gnu/store/z8q5lmb78z1fz39pygl73f8a8k91m2wg-module-import-compiled.drv

Derivation details

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

Build status

Unknown