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

Inputs

File name
/gnu/store/07byz0yy984h3d8mkbsdxml18wp1nac7-make-4.3.drv
/gnu/store/22s8n6rp20z1hr7l9y369llh35g0c3pn-ghc-edit-distance-0.2.2.1.drv
/gnu/store/2szsf803jwyzk6k7lzhiwp9ab09rq0qk-ghc-blaze-html-0.9.1.2.drv
/gnu/store/482dx943f58vwl348i815x9wrxyc0vf7-module-import-compiled.drv
/gnu/store/597fnb9vd6z7xb5i4qbqs3b365nx29cc-ghc-filemanip-0.3.6.3.drv
/gnu/store/5bbi7iwazfrvc9fg8y4fg4lp6j01d3x3-grep-3.4.drv
/gnu/store/6k1y8kx4igqgbsskb8fz6332rz64ld12-ghc-exceptions-0.10.3.drv
/gnu/store/7zbk5bd9xvb3ihmr4jmdia1r5w35avmd-ghc-zlib-0.6.2.1.drv
/gnu/store/87vcjh99akaxdckq7np0n45mv0lv9s4b-ghc-async-2.2.2.drv
/gnu/store/8828m82yi2n7d593dahwh3r4xiyvz5hh-ghc-equivalence-0.3.5.drv
/gnu/store/8psdnbc4jhcz3k0ghkd9ha5mdm2r4pd0-bzip2-1.0.8.drv
/gnu/store/8vfk6231k05m6ik6k0dfk5lvm8n7822y-gzip-1.10.drv
/gnu/store/9whhajxkjkxb9vwdb0z5ashcmigj81pa-coreutils-8.32.drv
/gnu/store/a1l0yid8l7wj3xvwiardxgijcvyw1m4b-ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/afj3j7ghv6zm1iq6p3m5dbqsnrriy9ds-bash-minimal-5.0.16.drv
/gnu/store/b0zi3i08hq7ngrbqlrqkn258pdnw4dm9-ghc-strict-0.3.2.drv
/gnu/store/b5nnbpgkvgdpzgvj67539ylcaqacj90l-guile-3.0.2.drv
/gnu/store/bhs8mjdhm37wk16qg8jzn9fdcgmllj50-diffutils-3.7.drv
/gnu/store/byn5dqsjls463f4kcchqpvbzirz3fd96-ghc-ieee754-0.8.0.drv
/gnu/store/c46rn7r7a5jv4a5330lcy2g62jfsyzc4-ghc-gitrev-1.3.1.drv
/gnu/store/drmh1xknk94n8zvlzjknbfvqnvp3gy5x-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/ds12710a3sghfkhlmnwg7dhrb1l0rya3-ghc-uri-encode-1.5.0.5.drv
/gnu/store/fdmz5blhzfczkpjb9jj6bdbhqlpv3i7l-gcc-7.5.0.drv
/gnu/store/fvi7sqvk9m1w93xaf8565ai7742zqc2i-xz-5.2.4.drv
/gnu/store/h1vn41niaqhm75b4syvl1cg7f9rbzc0z-glibc-2.31.drv
/gnu/store/iy1y3ch5f5k6g64h5xazprb5b78w257y-ghc-aeson-1.4.5.0.drv
/gnu/store/lx6acldkwpxj8qzsj9nhdv9jykairh0n-ghc-boxes-0.1.5.drv
/gnu/store/mkq3s7av2l1vhcxns84k5q3j7r92imxm-patch-2.7.6.drv
/gnu/store/mm8flcvndb2mr53xhf2zilx263s88bf3-findutils-4.7.0.drv
/gnu/store/mv12ligm0jzz762rh46i09iddhxvaim2-ld-wrapper-0.drv
/gnu/store/n0h0fjvxk93jzl8jp9n6p1g52dlj1m6l-gawk-5.0.1.drv
/gnu/store/p63cknxq3lm22prxvmq49b870wk4sc3d-ghc-hashable-1.2.7.0.drv
/gnu/store/padb7mgjgpjfdmnjhdm8ngmkjw3h7aix-ghc-happy-1.19.12.drv
/gnu/store/pqyd0rq2aqx8rbgdgjzpcjizhq6wzhv9-file-5.38.drv
/gnu/store/qlf9sxffyy9h6cw4zm5jnbilzbimgbil-binutils-2.34.drv
/gnu/store/qn8xfnwcvwfqh4djarv3lq9228dwzvx7-ghc-8.6.5.drv
/gnu/store/r7i0jcdvnwkm2k1h4wx42w5m9fnsanmq-glibc-utf8-locales-2.31.drv
/gnu/store/r8xi38ljik5w3s2p1w5q81wzy5nnb1zq-ghc-edisoncore-1.3.2.1.drv
/gnu/store/sisddp4kzjiv200v95igwbsad345pxrd-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/sj15rr5kzzds1gdrmgjv4g0j0a5zp264-Agda-2.6.0.1.tar.gz.drv
/gnu/store/vchlnxh5gsi6m12jk5x66dxswxx32h61-sed-4.8.drv
/gnu/store/xksa6n5mh30h2cs4qgwl0qd1v8g7h5gh-ghc-unordered-containers-0.2.10.0.drv
/gnu/store/y2d2vcl86vz4gd90jn2q78r3j6pcxdf2-ghc-hashtables-1.2.3.4.drv
/gnu/store/y6djs3q54b4laldbr4nvb2625fxpx6xp-ghc-data-hash-0.2.0.1.drv
/gnu/store/y9d0im1z8f4bvv7a74s0yycl3d0z4yh0-linux-libre-headers-5.4.20.drv
/gnu/store/z8a58yjsmgk9pvy4mhd87dy0m1mxjd4i-ghc-alex-3.2.4.drv
/gnu/store/zp2jf7vmqm0q386d0snlmhfdsgykdv2a-tar-1.32.drv

Derivation details

Builder/gnu/store/0m0vd873jp61lcm4xa3ljdgx381qa782-guile-3.0.2/bin/guile
Systemx86_64-linux

Build status

Unknown