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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/02dgc206142gjxjpp1px0c5ijdxpy329-Agda-2.6.0.1.tar.gz.drv
/gnu/store/0hcx4wgpgf1nn4gl3lhnd055vj2y28cj-guile-3.0.2.drv
/gnu/store/1583vdj0zlmnz460cgwxng54600yvv8w-ghc-aeson-1.4.5.0.drv
/gnu/store/18fhfcafpqsyx3pqk3klawxjck3b4myi-ghc-ieee754-0.8.0.drv
/gnu/store/1dqiq61z6917wyy8zaf9pyanpfh08wjd-bzip2-1.0.8.drv
/gnu/store/20dh8yzsgbkj08k9vsgh35xh3may4izn-ghc-edit-distance-0.2.2.1.drv
/gnu/store/30vsd6s4rhxvyp1fshrwxh0v30d1dl9h-gcc-7.5.0.drv
/gnu/store/39w27fj94d9y1pzn11mifv2ggsyzx3k7-ld-wrapper-0.drv
/gnu/store/4gl1hm0923428rbf3b1yaj4nyyszy9jy-ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/4k270h6h22zqgi9afjjhms6hcvwv2zsw-coreutils-8.32.drv
/gnu/store/4k3prn9zkiwx5z4rc7cc7wj0kjds1x43-ghc-equivalence-0.3.5.drv
/gnu/store/5740qil8h21842sdpak5xqj4nilkyp4y-ghc-happy-1.19.12.drv
/gnu/store/5af2kq4rsqsy5jh2knn6g7mbi18jr61q-module-import-compiled.drv
/gnu/store/5fvlz85wdgaipkgjwvlnxs31b59kl71i-ghc-blaze-html-0.9.1.2.drv
/gnu/store/6n468pmik4wc51glm7jpajb5v7i32xgy-ghc-data-hash-0.2.0.1.drv
/gnu/store/78k04zayifb2lh69drfpp5ydghsj9f91-file-5.38.drv
/gnu/store/8vfyqw9p2jd8l8nqw5z4xs5lvqqib17m-patch-2.7.6.drv
/gnu/store/942wskxcl527fd7pc0h4dli4mmhyc60l-ghc-gitrev-1.3.1.drv
/gnu/store/9gjhlp8csczsqz67lqw0iny3l8nam5jv-glibc-2.31.drv
/gnu/store/9vvjyf9fafz34f6d4n4d5486rcn2l49a-findutils-4.7.0.drv
/gnu/store/aqln6pi8ng47cfck1klcxdyrlksmg7pm-glibc-utf8-locales-2.31.drv
/gnu/store/c2s1ngnz7yybpiadwild9cylvd9rl7sy-ghc-async-2.2.2.drv
/gnu/store/c7jbiq32i0pji59g43lx7n8jbl8n0zrw-gawk-5.0.1.drv
/gnu/store/f78777c6pp2my64m8wqfcaryq85k6rxk-xz-5.2.4.drv
/gnu/store/fddppc5rg260hm53b23pvj5aivcxzy3y-ghc-boxes-0.1.5.drv
/gnu/store/fmkd4n7y685rf8qs3cn41qsz5fp5c3w5-make-4.3.drv
/gnu/store/gh58kmm8l12n5yqrpa9vqmvq3xqqikyz-ghc-edisoncore-1.3.2.1.drv
/gnu/store/hpb40z04sax48wqzl7d2s8cdshy7g4x3-sed-4.8.drv
/gnu/store/il5cqf6m24p8rr0a9gv5rcii9a2jy3vb-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/k5y6070hsk0da60xmf8siqk10mqvd2ic-grep-3.4.drv
/gnu/store/lrvy3kz3chx067lrnq25gbmrr74cgqrf-bash-minimal-5.0.16.drv
/gnu/store/mvxvqs3hs5q5a7wh642n6hzvplb7440x-ghc-exceptions-0.10.3.drv
/gnu/store/pdalianikxm8fz2r32j5s0hs2j26lwaa-binutils-2.34.drv
/gnu/store/qj1cjxx38zrcka1i8fzpia201akv5hpf-ghc-hashtables-1.2.3.4.drv
/gnu/store/rdnjk0n4wcg7gxz238fsj7gr2q0smywr-diffutils-3.7.drv
/gnu/store/rw6ga981537g6mgn6h66xrn0riqgvbg0-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/sc2bdllqakb7w2varwfslyv095k056a0-ghc-alex-3.2.4.drv
/gnu/store/sqvchsi1n8xfnbgmqzm8whg4dk9gngl6-tar-1.32.drv
/gnu/store/vi1qxjlg9i6dw679dkgj5gdhnk6pd1pz-ghc-8.6.5.drv
/gnu/store/wfwsiy2pbyqw2wk47iq0wmzf9nwbfda2-gzip-1.10.drv
/gnu/store/wmzjpqrj74l57jfd2nrr97z6rhyak83p-ghc-uri-encode-1.5.0.5.drv
/gnu/store/xj1syxh7qqwj7dm2w98n0swynbpyc9wh-ghc-zlib-0.6.2.1.drv
/gnu/store/y4rwa4whxlcn1lmxfd31y3i8zyy4mkyi-ghc-hashable-1.2.7.0.drv
/gnu/store/yqabc0gy5z7ym5g69ycj70pgx2403yfi-ghc-unordered-containers-0.2.10.0.drv
/gnu/store/ysc2c9bh87xmzflycyx84m1lfxmd2na9-ghc-filemanip-0.3.6.3.drv
/gnu/store/z5z8wnq7slsx5758b29029rg9q157hsb-ghc-strict-0.3.2.drv
/gnu/store/z8zsw1nws0msplyn2hnpsharqkzmnw11-linux-libre-headers-5.4.20.drv

Derivation details

Builder/gnu/store/x3gq648qnfnla7nppyfjvj62s2i8y7rl-guile-3.0.2/bin/guile
Systemaarch64-linux

Build status

Unknown

Outputs

File name
/gnu/store/ifj40ykivxdxdw6bfhmkk8z5izj5dabv-agda-2.6.0.1
/gnu/store/6nibs404paiwvrig2d1dp5b478krzpyj-agda-2.6.0.1-static