/gnu/store/5hcl5b3r1q8wnps0817gfap17k42sscn-agda-2.5.4.1.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/0x0ml5f3arwj484a8bc974mhfbym3ksy-ghc-edisoncore-1.3.2.1.drv
/gnu/store/0xrlk56zqimmx4m8crrnizmkaqcnandn-ghc-strict-0.3.2.drv
/gnu/store/1s2qfw417nbwhnrvvr676fjnj6b2hxmy-bash-minimal-4.4.23.drv
/gnu/store/28j2pv3n8553p78bp1iv8w3s9gvqa57v-ghc-hashtables-1.2.3.1.drv
/gnu/store/2zl2y0bbjjvr4xlchic358kz1a36igv1-ghc-hashable-1.2.7.0.drv
/gnu/store/3r4s04vsma39qw9ah19sndmdvlqcmbx0-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/4qks3jcdcqq78xam65dr8msyl16bhl3v-ghc-ieee754-0.8.0.drv
/gnu/store/59dak1k6jy7qxmjgpzzj8dqkqi054xi2-ghc-happy-1.19.9.drv
/gnu/store/5nb41gn15b1n4wa530nb577sd0s4kp89-xz-5.2.4.drv
/gnu/store/5vb5vxs3m7ds39s5axld2812fmldmq4n-ghc-gitrev-1.3.1.drv
/gnu/store/7f4dih5g0n2f92byqyrk3yag6nmw3prx-ghc-edit-distance-0.2.2.1.drv
/gnu/store/7lwnqha6clzg6ldgm36mi50iqk9rhc6i-glibc-2.28.drv
/gnu/store/9qai1kbg7vkmqbc28ik46gazydyr7zqh-ghc-8.4.3.drv
/gnu/store/a9h15qr4hmvdwwwcni9mf330685b6kw0-ghc-boxes-0.1.5.drv
/gnu/store/aq00zn58ilgy44yp40r270v1a37kyqwk-cpphs-1.20.8.drv
/gnu/store/aw33pmkgpxxdfazkgp8syxin6xkavgaa-gzip-1.9.drv
/gnu/store/b3vy9sacibrl5fgxvjmp9grm2an9iv4x-coreutils-8.30.drv
/gnu/store/f57c1lsmq85qy29jlg4b3gnjwb92dk23-module-import-compiled.drv
/gnu/store/gkip4vrp44d1qgz3bak61i3h6zh9wda8-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/i9d1b31hw4lkhx5m6hxbpbv7ij299n5f-ghc-blaze-html-0.9.1.1.drv
/gnu/store/ji7zr06fbgl7p27nfnf431qvya121m96-patch-2.7.6.drv
/gnu/store/jnq9yljz9w7wk9rvqz3l3qi1r3y597sy-ghc-text-1.2.3.0.drv
/gnu/store/jycbllxhwh15f4w63gv6m0n32c58f881-ghc-filemanip-0.3.6.3.drv
/gnu/store/kiqxd93h75f49nbjkalvi3wf4crn686f-diffutils-3.6.drv
/gnu/store/l07igpklp99zlz1nywhsm1ff5kphaqks-ghc-unordered-containers-0.2.9.0.drv
/gnu/store/l867rdfw85qjkdp8zjpmvq7i3ylvhzc7-ghc-stm-2.4.5.0.drv
/gnu/store/li139k9jpv5x020lal1h08vvkhxrs97d-ld-wrapper-0.drv
/gnu/store/lnc3xr7yn7iy5ifh635h7fphxdgk0dv0-ghc-data-hash-0.2.0.1.drv
/gnu/store/lq6n4jd9b23bpyrp2bq2b4wrlcz4643r-ghc-uri-encode-1.5.0.5.drv
/gnu/store/m7syjmf2hydn6rr5fypkzimyn76dlmwj-gcc-5.5.0.drv
/gnu/store/maslyq0wqfwlav9d22a4pw6mqa14jzs9-module-import.drv
/gnu/store/mvrw6v834xmafxbgqlj3n8py1bvk6x4a-ghc-zlib-0.6.2.drv
/gnu/store/nhj5wa3ihqnlylm26zk1cnsw5rrdff38-make-4.2.1.drv
/gnu/store/qzb2kbpni126n0g1fzk33ymhxbw8n3nd-sed-4.5.drv
/gnu/store/rwpdl6ny0kv764krpsxiflddh6n36zf3-Agda-2.5.4.1.tar.gz.drv
/gnu/store/v7h9hnx0gydcd24lssh4q3lig45wnhif-ghc-regex-tdfa-1.2.3.1.drv
/gnu/store/vgwyg3gkmnzzsiqv1yyjdpin358yz98h-bzip2-1.0.6.drv
/gnu/store/vijqysvi6qjjcnd9r8a8301mwdddscxj-guile-2.2.4.drv
/gnu/store/vrllzz3cxikb01v4gxwlnd58b3r41qi1-ghc-equivalence-0.3.2.drv
/gnu/store/vxmw6js2gxa746mnlgxf8lvi4wzzmmx5-tar-1.30.drv
/gnu/store/wj6s017iggq481axgi1q9kva6b5mbksz-linux-libre-headers-4.14.67.drv
/gnu/store/wmj2dywzs9xhacxrvr5apwxvbg5yhdn1-file-5.33.drv
/gnu/store/wnvxiq6zhfrzcx753gml6m1544zz9r45-glibc-utf8-locales-2.28.drv
/gnu/store/wr3gcniwdzsqdqs6cpqb2ivyzg95l9lv-grep-3.1.drv
/gnu/store/xibzn1al249an352c1rkxb7pjbzjrgyq-ghc-async-2.2.1.drv
/gnu/store/ybkjfh05mr0qa1y1a04yks6lk1indxir-gawk-4.2.1.drv
/gnu/store/ygfxq6dahi24inbpwgl0zjpnfx2gxkfx-binutils-2.31.1.drv
/gnu/store/ykgvm2x4h06r1fw5ng3qcplq4d7lc1f8-ghc-alex-3.2.4.drv
/gnu/store/z41ky9dwamn3i1n3p7nmbbiav4ghn9vw-findutils-4.6.0.drv
/gnu/store/zia2351fkps6b5hnqy76w4m48hxbih29-ghc-parallel-3.2.2.0.drv

Derivation details

Builder/gnu/store/j9a8dx25cj045yl5l32ajkkjf92ib3y1-guile-2.2.4/bin/guile
Systemmips64el-linux

Build status

Unknown

Outputs

File name
/gnu/store/g6xwli3r2vncvspagagblab7pcwkyymd-agda-2.5.4.1