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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/0cs9fr5f6y4cxy6q0x4g0m6p2mrbayp9-tar-1.32.drv
/gnu/store/1kvc2nqjvvsi9n8i5ylklsrch9jq3q6j-bash-minimal-5.0.16.drv
/gnu/store/1wq4rwxsbsaiirk02ldgaas4dasj2yxb-ghc-blaze-html-0.9.1.2.drv
/gnu/store/1yp6xjlq7nm68kyf0jpfccwvsff9c25v-file-5.38.drv
/gnu/store/2csj5c0k6jah0w0kpfi2qbs6cqy9dhj8-ghc-strict-0.3.2.drv
/gnu/store/2i8ylww21nfkiaqs0lpp5a5gqsr0z5if-ghc-zlib-0.6.2.1.drv
/gnu/store/2yrfwp6b51czk847qqw0yyqnxlzcclvv-ghc-alex-3.2.4.drv
/gnu/store/3dcscv37j81ji2w6hnx4jpjxf0az0hzg-make-4.3.drv
/gnu/store/4fyjq16aaqbs0wpp89bjy6pn4a9mjj1b-xz-5.2.4.drv
/gnu/store/516k967rh14pqka8hr478r8grp7mmbg5-ghc-ieee754-0.8.0.drv
/gnu/store/5w4g1ibv3nk4468zc1xpdpjgivrlzyh2-ghc-equivalence-0.3.5.drv
/gnu/store/6281a4bmjg9srw76sdlkk3k9sdayp96m-linux-libre-headers-5.4.20.drv
/gnu/store/6zl0qgmpva3j2wf98dkk6v9jnwsr56n9-ld-wrapper-0.drv
/gnu/store/73m2lls26yy6kvf942xq5r441s2d2as5-ghc-edit-distance-0.2.2.1.drv
/gnu/store/73vf35qin7hgfsgqcvkb6hh83qzisl7j-bzip2-1.0.8.drv
/gnu/store/8glr82w5jmli0zd41k8818186abv3qpw-ghc-hashtables-1.2.3.4.drv
/gnu/store/93k7zxlpq6c625hwyx9gaj5fbrbg4a4l-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/a0z30c3v6cdrygnk3m1cdhk94c878v6j-ghc-exceptions-0.10.3.drv
/gnu/store/a1kxjnk2df0h6lj0js34483lyb72xkxi-grep-3.4.drv
/gnu/store/agcmw88jvnfkplarchpl39n1fpq33spd-ghc-filemanip-0.3.6.3.drv
/gnu/store/d95cxhiaw6p1jn5amb85bxwyj1l7vihz-ghc-hashable-1.2.7.0.drv
/gnu/store/fwj06sfs8lar9fbc9zk3lsn0knrwg686-module-import-compiled.drv
/gnu/store/fz08g6qhzqnrwwb5f1i4lx14nl8d2avh-ghc-aeson-1.4.5.0.drv
/gnu/store/iy57jqg839xdag7xqscgkmfqknnzns1b-gcc-7.5.0.drv
/gnu/store/kp7ia331imgayns5ar53fwssqmxsxvz6-binutils-2.34.drv
/gnu/store/kswv6gx6gjlrj3lzxrzd1xaban0ayha4-gzip-1.10.drv
/gnu/store/l3rfrpb61xqllnsxp5xpsygy9bnv2849-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/l5m79idaaz0ydj33s7zyl8d46y9grciv-ghc-data-hash-0.2.0.1.drv
/gnu/store/m7gh6vkrvmrpndsag11fgy7jm35ah7jh-diffutils-3.7.drv
/gnu/store/mp1nylz0sykzca1rrs7h9hkdqi2m7zgp-glibc-utf8-locales-2.31.drv
/gnu/store/n1j2vhwi8y13yifdmax4b3pni7i5bnyq-ghc-unordered-containers-0.2.10.0.drv
/gnu/store/np4k7glhwl3v8fcisizd3a47i2llxjn1-ghc-edisoncore-1.3.2.1.drv
/gnu/store/q1idrw5m6b7qv6zdy41k8lrcd0n9q2bj-patch-2.7.6.drv
/gnu/store/r3037477asxvwgm6n8iqrlmxk8l64fa5-ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/rakk01pkmgwzz91z5c0qz9ay7rf31bhp-coreutils-8.32.drv
/gnu/store/rdpbn8sbp4nriz3rlf67rcblvdzlll4a-guile-3.0.2.drv
/gnu/store/rj6nc4fqcv1g72lmpq3a1lla185g31fn-ghc-gitrev-1.3.1.drv
/gnu/store/rwaw2xqlc2caqgwlmmslzf4b0d0ggik4-gawk-5.0.1.drv
/gnu/store/s3n8za54d11hy95ay5ydv7hfxzf462ja-glibc-2.31.drv
/gnu/store/s6sw01vhnvdfl47k7lsj9irzrcq0vaix-ghc-8.6.5.drv
/gnu/store/sbcg239nydc7g4jvnr88gf6nnc26birw-ghc-happy-1.19.12.drv
/gnu/store/vhlapgam1676j3z14sc3ss66nfakjah1-Agda-2.6.0.1.tar.gz.drv
/gnu/store/w19mbwl4jfmnaq3l5q8m5apphp5xvrk2-ghc-boxes-0.1.5.drv
/gnu/store/x2cs73kk93ssk4qlbmbpgmgv3i40zjhv-ghc-uri-encode-1.5.0.5.drv
/gnu/store/xg9h8c3a760myvwczjk3gcnxsj7zv0fa-sed-4.8.drv
/gnu/store/z5clpv6wjjz1cmy0r7kmwmhvmzhf9b9i-ghc-async-2.2.2.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

Outputs

File name
/gnu/store/y5nvggcp3g4cz7frd7gxmh4j4m5sznd6-agda-2.6.0.1
/gnu/store/bb75j1fww11b2w79kai6x7bwlrypp58n-agda-2.6.0.1-static