/gnu/store/1ckvn3msvv1vpqbkw431w9ywawilx7m1-agda-2.6.0.1.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/1hhxw3a1yxz6370xlar0ks31hqjw4fpb-patch-2.7.6.drv
/gnu/store/2x6yv8ps04lil5d5xgk1z11gxk0wc5qk-ghc-uri-encode-1.5.0.5.drv
/gnu/store/3vvpryyi3zppfq960h8pn3cx8x9h6rzs-sed-4.8.drv
/gnu/store/48ffbr2yfgdvj69ddfqg4ka463b0j8vl-diffutils-3.7.drv
/gnu/store/50wzhfw850pg9jly924xqzmb60kz4kbp-ld-wrapper-0.drv
/gnu/store/70msh59hyx1djfki9i83aca945ijlf4v-glibc-utf8-locales-2.31.drv
/gnu/store/86pzvqnvl99rzv2cn22d64s2ykj8j3lg-ghc-zlib-0.6.2.1.drv
/gnu/store/8zgl9pk12534s3v8k1vi9yc9g2jxqjd7-ghc-blaze-html-0.9.1.2.drv
/gnu/store/amm4a5gwl04zdilcf68zkfjr902zisqw-ghc-exceptions-0.10.3.drv
/gnu/store/ar9iyj5zm1nr5ndw7sqsy1i1c6h200g8-Agda-2.6.0.1.tar.gz.drv
/gnu/store/b1ap58nq7ncb525i8ac1a48vibqg9kzz-coreutils-8.32.drv
/gnu/store/b2dznakm3f19igq9qi7vkkbl7m0drfzc-glibc-2.31.drv
/gnu/store/c01632910d5qsmgn3w0ba2mvd8jcscyd-gcc-7.5.0.drv
/gnu/store/cykppiiynq6p8cl4r6bzjkh0pffadn44-gawk-5.0.1.drv
/gnu/store/dnd6lyb11gmymyajyzyd9nvycwrr18y3-bash-minimal-5.0.16.drv
/gnu/store/f45ch858qfadi5gm7fk6rp2fgwl8qlhp-xz-5.2.4.drv
/gnu/store/fcpirlzpky53mcmiz1mq9n99yimpmzn4-linux-libre-headers-5.4.20.drv
/gnu/store/fx5vrv84w7f0h7w4zf5xxwamy0na4qmv-ghc-8.6.5.drv
/gnu/store/gilxdcd0ln8ishrxnm8knawhwkwkjcl3-make-4.3.drv
/gnu/store/hiwjzcqzr0r228fh9i67awmdfaj427r8-ghc-unordered-containers-0.2.10.0.drv
/gnu/store/ir54gg5hpqac28v05358k5dgb4hrsqwr-findutils-4.7.0.drv
/gnu/store/iyrwcxqxx4sd0yjd2m9050d5ly3wz956-file-5.38.drv
/gnu/store/j0gpz05d6iyhrwnpgg60ynldcds9zv3r-ghc-async-2.2.2.drv
/gnu/store/j4zx57ncnxqbf3b9nflj8c4c2lvi3bgx-binutils-2.34.drv
/gnu/store/j87ddmdwamdaxfmiixx4di3zxkdpcklh-ghc-aeson-1.4.5.0.drv
/gnu/store/jsnxsq5jkjlhqgybj7hzg908982vl897-bzip2-1.0.8.drv
/gnu/store/km2mxngkms64jx7c8k1pz46ia2v1za0x-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/krpjv41cp40kc31k4g4dnh561s6ckj7h-module-import-compiled.drv
/gnu/store/l6addyjryph3x7nfp0vfr0d4vnql6lmv-ghc-gitrev-1.3.1.drv
/gnu/store/lhf74h0p3wmz12ga8nw1q18idkrhdp94-ghc-data-hash-0.2.0.1.drv
/gnu/store/lqjjraq836h3682ij98ngibj8y9q0xzf-ghc-ieee754-0.8.0.drv
/gnu/store/lv3dmar0fr38spqypa4d1d7mjycrqkin-ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/p6fhiz7xdj9nzx2nw6z3jypbbhpb9wf5-gzip-1.10.drv
/gnu/store/pwv4lj15265qbqi259dxnlp9jbv3anxv-tar-1.32.drv
/gnu/store/q8iqr9i7sfkm43zbw9fhvfm3fw2qz7rh-ghc-edit-distance-0.2.2.1.drv
/gnu/store/qbq961q53l8icj24rgqbn02250iph403-ghc-strict-0.3.2.drv
/gnu/store/qn050w1livc63i4ra0jfnfmv8gy79li4-guile-3.0.2.drv
/gnu/store/ryiz868yj6c2ncahqalhzz0r2ng3wp57-ghc-equivalence-0.3.5.drv
/gnu/store/v5h2iizx89ga6r1f9mzarppjwpy2sxjm-ghc-hashtables-1.2.3.4.drv
/gnu/store/vkldkbsj4rdvlvixdz671jn4mwhym543-ghc-hashable-1.2.7.0.drv
/gnu/store/w0dcanqf2pj61xs0r7yv4l6fdmi3qr5r-ghc-happy-1.19.12.drv
/gnu/store/xpf8d2gwhmg4zgcdc67mgzvinp5fnlyq-grep-3.4.drv
/gnu/store/y63a4723gigid4vq9mfsf6llz65vnhxf-ghc-alex-3.2.4.drv
/gnu/store/ya9az5ac4ywqmwc3m54bqhl6v66cam7j-ghc-boxes-0.1.5.drv
/gnu/store/ymbvar9wqasa86lir8vf77fjlj6rfc2p-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/yphfpq9x59yjmqgn96xri397k5mf17qv-ghc-edisoncore-1.3.2.1.drv
/gnu/store/zx2r7zd8ahkr6w0dly0dcsixlynjcr15-ghc-filemanip-0.3.6.3.drv

Derivation details

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

Build status

Unknown

Outputs

File name
/gnu/store/0sprjkqn65ks3h82snhjgyn0cghrfi7p-agda-2.6.0.1