/gnu/store/57d7iic8v4ldwbrkg7szdb6v8w52d0i1-agda-2.6.0.1.drv

Inputs

File name
/gnu/store/0cs9fr5f6y4cxy6q0x4g0m6p2mrbayp9-tar-1.32.drv
/gnu/store/0l5wn1lfhm2dbgr03y2qv1y6w6ky8zjm-ghc-zlib-0.6.2.1.drv
/gnu/store/0n0m7wrkjaw4fci7z3hdc4bmzqszkb58-ghc-equivalence-0.3.5.drv
/gnu/store/0y8qi25bi4p1avncqj60kjcn6d5mg3ii-ghc-gitrev-1.3.1.drv
/gnu/store/1kvc2nqjvvsi9n8i5ylklsrch9jq3q6j-bash-minimal-5.0.16.drv
/gnu/store/1yp6xjlq7nm68kyf0jpfccwvsff9c25v-file-5.38.drv
/gnu/store/3ch43n06b3l23mk9nvrlfcvw1bv6s1jc-module-import-compiled.drv
/gnu/store/3dcscv37j81ji2w6hnx4jpjxf0az0hzg-make-4.3.drv
/gnu/store/3mxsn1mnzbix9gwsjdkdir6dn3lsb8q0-ghc-boxes-0.1.5.drv
/gnu/store/3n9c1hgrxygp3sv07bz04sxbbhav40b2-ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/3zz5nsjgfzl2hybv5jbnrx5kf9h5v8yx-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/4fyjq16aaqbs0wpp89bjy6pn4a9mjj1b-xz-5.2.4.drv
/gnu/store/4kdm97hd8x5y62j11a0yvh0vrx498a66-ghc-edisoncore-1.3.2.1.drv
/gnu/store/6281a4bmjg9srw76sdlkk3k9sdayp96m-linux-libre-headers-5.4.20.drv
/gnu/store/6zl0qgmpva3j2wf98dkk6v9jnwsr56n9-ld-wrapper-0.drv
/gnu/store/73vf35qin7hgfsgqcvkb6hh83qzisl7j-bzip2-1.0.8.drv
/gnu/store/78nw0jamg2n1pyn8w1vhdmc7rf4jyvrh-ghc-strict-0.3.2.drv
/gnu/store/9002cl5klnz4iz62qlzhq0brj31n4b0z-ghc-hashtables-1.2.3.4.drv
/gnu/store/a1kxjnk2df0h6lj0js34483lyb72xkxi-grep-3.4.drv
/gnu/store/blbw04v9hw4p9hvrqyxk4ckyvici7597-ghc-exceptions-0.10.3.drv
/gnu/store/ckni80hzk0w2b7bccjjppy05klg65s5m-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/d64zmnqnaflyff9hq22wcs70hrbrzdb4-ghc-data-hash-0.2.0.1.drv
/gnu/store/fpvfv6h7wwplr7vn5mxf7ipz0sjxakrm-ghc-happy-1.19.12.drv
/gnu/store/hlvx75xn7b769sr4i9ipz2b4ql0nj52x-ghc-edit-distance-0.2.2.1.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/l06g261ncq6ywayfnhndv6dvpbz51fs2-ghc-alex-3.2.4.drv
/gnu/store/m7gh6vkrvmrpndsag11fgy7jm35ah7jh-diffutils-3.7.drv
/gnu/store/mbbrzp8wz6qgf273wrmk9ni23jd7b8vs-ghc-8.6.5.drv
/gnu/store/mp1nylz0sykzca1rrs7h9hkdqi2m7zgp-glibc-utf8-locales-2.31.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/s4yini9kgp8zgnxda1nq8ww8p2qkcfqp-ghc-unordered-containers-0.2.10.0.drv
/gnu/store/sg718c2vzqc4phrk2ayd5j452xfj99ph-ghc-ieee754-0.8.0.drv
/gnu/store/v9fk2slv4hmgnv3v796xv63m87fq1l5y-ghc-blaze-html-0.9.1.2.drv
/gnu/store/vhlapgam1676j3z14sc3ss66nfakjah1-Agda-2.6.0.1.tar.gz.drv
/gnu/store/vm1vkk5q027zqv5i259vp9ss45maix93-ghc-filemanip-0.3.6.3.drv
/gnu/store/w1gr063snf079jq4rb55r16qn9452y42-ghc-uri-encode-1.5.0.5.drv
/gnu/store/wm1czdnsjaaq18nlq60w2r7yd160zkv9-ghc-hashable-1.2.7.0.drv
/gnu/store/xg9h8c3a760myvwczjk3gcnxsj7zv0fa-sed-4.8.drv
/gnu/store/xrjzr1h7xwzw9f41rvpna10khiclzz5i-ghc-async-2.2.2.drv
/gnu/store/yafnrl3r6mcxzmp6jlyz8jcfsvcp3fwb-ghc-aeson-1.4.5.0.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