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

Inputs

File name
/gnu/store/0s50875n32jwdd7a87bkrd4xkbsdafji-make-4.3.drv
/gnu/store/1dvl8kdgywndwh7pd613z3px8628pbfr-ghc-strict-0.3.2.drv
/gnu/store/2wgqwn1p37r6zc2aj4xymfdlc7m0v6an-ghc-edisoncore-1.3.2.1.drv
/gnu/store/3x4r7hds9zvb3xd9ff8g5f4rywcl7484-ghc-uri-encode-1.5.0.5.drv
/gnu/store/50w8hlvd7pqk0ixrz24akvx2nrhia6nb-ghc-aeson-1.4.5.0.drv
/gnu/store/57in2d7x0b8ypsh5s6d12mq2rg1vilzd-findutils-4.7.0.drv
/gnu/store/6wzjapxblkwas5vb5dvcjakpp0afmfd0-xz-5.2.4.drv
/gnu/store/8wg8pj58nxipc394j8bd5mh1agpbwybx-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/9zd6y3fjq1mxd4knndni2mymbdjlcir2-guile-3.0.2.drv
/gnu/store/9zs6zwqnjlwlfcip15miadsly8lnxacc-ghc-async-2.2.2.drv
/gnu/store/a8vxzad8vb6xi66wgnqx9k9mf6fmshx1-coreutils-8.32.drv
/gnu/store/ayz7d6qlkh9zgjbrrk2wk6br5kbxdirb-ghc-blaze-html-0.9.1.2.drv
/gnu/store/azwf36rdwz20hp4s372jq65cjrlk7cys-ghc-hashable-1.2.7.0.drv
/gnu/store/bj01wgl56p5p81lc3gqdcg63jh4m0wzm-grep-3.4.drv
/gnu/store/bsb07g869ccl5f8ms1fval4nmklg5h78-gawk-5.0.1.drv
/gnu/store/by7yyvig6qbsl7dhzfb7w1nb9hhc0rrg-bash-minimal-5.0.16.drv
/gnu/store/c3qxii3c5vx5hb8dav4jqy3v3g8g3aaq-ld-wrapper-0.drv
/gnu/store/cqkd29xa64fy6m9mr0h5ghyjxd5sy9k6-patch-2.7.6.drv
/gnu/store/dpfa3hai50dq6w1df8jisasmb4bv1302-bzip2-1.0.8.drv
/gnu/store/fi3ihsz8naal9s5m1s2wvjbx8vyahb8i-glibc-utf8-locales-2.31.drv
/gnu/store/g0ap3p0z6npd3xh14m3hsdi3cn6bz0kz-ghc-happy-1.19.12.drv
/gnu/store/grc3kfxad2jzs5g9f4vcbpw72bhwy59j-gcc-7.5.0.drv
/gnu/store/h0maknfhark3zd8v4hymv38pvxb4iybk-glibc-2.31.drv
/gnu/store/j5nifj7rw6mls2qfcn4rkbf8gmlkwizw-ghc-exceptions-0.10.3.drv
/gnu/store/jkc5k8lbwa9bn56p2glry0f596ilg3a6-ghc-alex-3.2.4.drv
/gnu/store/k3d4qyv6qvcxalh0bx3w6mx15ad9qm5m-ghc-data-hash-0.2.0.1.drv
/gnu/store/k4jgp1qpwwp82fhgl83w54yc2n9gfv1z-module-import-compiled.drv
/gnu/store/kmw80b2a7cazxihmy9ddirglysk09lax-ghc-gitrev-1.3.1.drv
/gnu/store/l45jiy9q9v9a4gjxg2rvicrjia7b5dr6-ghc-unordered-containers-0.2.10.0.drv
/gnu/store/m1v9fs4sf8aqcbmdya4g7s0gjn41d4gv-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/n44cr5w1k9g8brc182lq2jps243pl33h-linux-libre-headers-5.4.20.drv
/gnu/store/ns7pbmlgyj1hky6am246rj66rcn0r7y5-Agda-2.6.0.1.tar.gz.drv
/gnu/store/p2x1520hpq3srqwz0ms17j7zvk4pgksk-gzip-1.10.drv
/gnu/store/p63f8s0mnny0m539w28zaipd38l8a74j-tar-1.32.drv
/gnu/store/p7060sdazm64923y31d203wxxmmypm36-diffutils-3.7.drv
/gnu/store/pfcs0jzhmrzm0izgnva5rpjizha20dqq-sed-4.8.drv
/gnu/store/q2rjd2ykqvdzj3y1cdhdnd39hy3gj7xd-ghc-edit-distance-0.2.2.1.drv
/gnu/store/q5bqj04py72ra7wpv84k0fqqb3dv4pvk-ghc-ieee754-0.8.0.drv
/gnu/store/rs3914mfvcj0ygv86vr5jn5siqhxc4vz-ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/rsmj6amyz0ansaxv8scsbxlxrmjdm1p3-ghc-zlib-0.6.2.1.drv
/gnu/store/v5i11fcnf82925b6dd1n09vv84pc1zb0-file-5.38.drv
/gnu/store/v6b1rfpazanq2184sbr3z6b4g8nbl989-ghc-8.6.5.drv
/gnu/store/x97zl3s9vx13k2flbpbkg3aiml6sm21y-ghc-filemanip-0.3.6.3.drv
/gnu/store/xldbs7p5p1cv50qffdzm7vp8cdyiw68a-ghc-boxes-0.1.5.drv
/gnu/store/yjnh1qip82n3apiafp7b2n31mim8nmal-binutils-2.34.drv
/gnu/store/zg97vrvlm9bc9w99qcd7k62457dv4wp5-ghc-hashtables-1.2.3.4.drv
/gnu/store/zsqh2llrhlb0h31nd6nfc868hjk1igbl-ghc-equivalence-0.3.5.drv

Derivation details

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

Build status

Unknown