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

Inputs

File name
/gnu/store/0afjhdgppal21n99ckkigrz53ffl95bd-ghc-data-hash-0.2.0.1.drv
/gnu/store/0cs9fr5f6y4cxy6q0x4g0m6p2mrbayp9-tar-1.32.drv
/gnu/store/1kvc2nqjvvsi9n8i5ylklsrch9jq3q6j-bash-minimal-5.0.16.drv
/gnu/store/1yp6xjlq7nm68kyf0jpfccwvsff9c25v-file-5.38.drv
/gnu/store/28m32cij4iyp3a20fbw2wqxj2m581d9g-ghc-uri-encode-1.5.0.5.drv
/gnu/store/2x1dhi510irw9znmi3xzwpn434ilxhrg-ghc-gitrev-1.3.1.drv
/gnu/store/3dcscv37j81ji2w6hnx4jpjxf0az0hzg-make-4.3.drv
/gnu/store/3fj2yygqxzcrgyd5g1a4i9k64ahpbj10-ghc-edisoncore-1.3.2.1.drv
/gnu/store/4fyjq16aaqbs0wpp89bjy6pn4a9mjj1b-xz-5.2.4.drv
/gnu/store/6281a4bmjg9srw76sdlkk3k9sdayp96m-linux-libre-headers-5.4.20.drv
/gnu/store/63sg34ny006vn9spy8bykvqpcrkwy64h-ghc-equivalence-0.3.5.drv
/gnu/store/6rqr10shcdd7x1jbszcc2ar9pwn32y41-ghc-hashtables-1.2.3.4.drv
/gnu/store/6zl0qgmpva3j2wf98dkk6v9jnwsr56n9-ld-wrapper-0.drv
/gnu/store/73vf35qin7hgfsgqcvkb6hh83qzisl7j-bzip2-1.0.8.drv
/gnu/store/78hrwid3vlgaxwcf77yr7f24c43r4vp0-ghc-edit-distance-0.2.2.1.drv
/gnu/store/8b848flxx2a5g2mh9fgpy6srf49fmyc5-ghc-alex-3.2.4.drv
/gnu/store/8ywrs9zgwrl5wk8b2b4mv5bbij5vr3hr-ghc-aeson-1.4.5.0.drv
/gnu/store/91mykqyp1sfq8fyr0fb691433zi1kxyi-ghc-strict-0.3.2.drv
/gnu/store/a1kxjnk2df0h6lj0js34483lyb72xkxi-grep-3.4.drv
/gnu/store/ayigkg3qymk35xz62hssp0bdijyjhyg0-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/cd92c48gjdrx4k8vrz7vn4prpfpzikcg-ghc-ieee754-0.8.0.drv
/gnu/store/dpnd8pkmqfpfi492xlj2z46kshqzjr7n-ghc-async-2.2.2.drv
/gnu/store/f5wfchqqdyrzfyyazpch5wsdbmbwpjx0-ghc-filemanip-0.3.6.3.drv
/gnu/store/fwj06sfs8lar9fbc9zk3lsn0knrwg686-module-import-compiled.drv
/gnu/store/idj4039xwv0mxdv3zgigp69f36a2xblf-ghc-hashable-1.2.7.0.drv
/gnu/store/iy57jqg839xdag7xqscgkmfqknnzns1b-gcc-7.5.0.drv
/gnu/store/k8j6jn7nmxq4ivlns8ks24d66y19b0hw-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/kp7ia331imgayns5ar53fwssqmxsxvz6-binutils-2.34.drv
/gnu/store/kswv6gx6gjlrj3lzxrzd1xaban0ayha4-gzip-1.10.drv
/gnu/store/kysyimqf5xczs8vwb98kqb00dd968di6-ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/l51ys0s7vqfds81c6dw1z6ly210336s2-ghc-blaze-html-0.9.1.2.drv
/gnu/store/m7gh6vkrvmrpndsag11fgy7jm35ah7jh-diffutils-3.7.drv
/gnu/store/mp1nylz0sykzca1rrs7h9hkdqi2m7zgp-glibc-utf8-locales-2.31.drv
/gnu/store/p8gispsm5z6h4ix6i2gjdaj2syyipfv1-ghc-happy-1.19.12.drv
/gnu/store/pk8qhvl7i458in4hsg1ci1w2yrl1qjml-ghc-zlib-0.6.2.1.drv
/gnu/store/q1idrw5m6b7qv6zdy41k8lrcd0n9q2bj-patch-2.7.6.drv
/gnu/store/rakk01pkmgwzz91z5c0qz9ay7rf31bhp-coreutils-8.32.drv
/gnu/store/rdpbn8sbp4nriz3rlf67rcblvdzlll4a-guile-3.0.2.drv
/gnu/store/rwaw2xqlc2caqgwlmmslzf4b0d0ggik4-gawk-5.0.1.drv
/gnu/store/s3n8za54d11hy95ay5ydv7hfxzf462ja-glibc-2.31.drv
/gnu/store/sgghysc9jkbcihx6lq3mbjwyc6ixqq3x-ghc-unordered-containers-0.2.10.0.drv
/gnu/store/vhlapgam1676j3z14sc3ss66nfakjah1-Agda-2.6.0.1.tar.gz.drv
/gnu/store/x9056bg500snbcnnsj8knj2ypx66xiyg-ghc-8.6.5.drv
/gnu/store/xg9h8c3a760myvwczjk3gcnxsj7zv0fa-sed-4.8.drv
/gnu/store/xlc5lrxzi2hckp6z030mfd5qx9nvda9h-ghc-exceptions-0.10.3.drv
/gnu/store/yv6187b5423ilnsvj61pn2lysn1ypg5q-ghc-boxes-0.1.5.drv
/gnu/store/zhma6vs5fxg41apyhmrz8xp19xd20p2p-findutils-4.7.0.drv

Derivation details

Builder/gnu/store/zslki807w05y73wbpnszxpz44fl2yn8b-guile-3.0.2/bin/guile
Systemi686-linux

Build status

Unknown