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

Derive(
[
Outputs
],[
Inputs
("/gnu/store/0vg2yyn59ay95ny2v7k682j1y3dvbsv3-module-import-compiled.drv","["out"]),
("/gnu/store/1crlk7qi5fllbpa10cw77m8s4q3r3543-glibc-2.31.drv","["out","static"]),
("/gnu/store/1qprnjkid0hk1d836k8xbvpsgghn3zsf-ghc-8.6.5.drv","["out"]),
("/gnu/store/3z468xfyh08qry2zcmwwd1mgwd29ws8s-gcc-7.5.0.drv","["out"]),
("/gnu/store/43haykfzwh65dalq7rrnjf64lpmpkkma-tar-1.32.drv","["out"]),
("/gnu/store/5fy7p5kfapzzzm2gzdpl8jn226xfv997-ghc-async-2.2.2.drv","["out"]),
("/gnu/store/5nfzjxfvg4cfdl7yl65knkx8vrkzb7vk-ghc-equivalence-0.3.5.drv","["out"]),
("/gnu/store/6iy9z65azy6an0kccji5mlsss30sqji9-ghc-gitrev-1.3.1.drv","["out"]),
("/gnu/store/6r7x6v3h8r03zpdhwiqajskkw215i57z-file-5.38.drv","["out"]),
("/gnu/store/74cvbxvwiydz3w9kwc6nab7pxx2bjmk2-patch-2.7.6.drv","["out"]),
("/gnu/store/8ngigs5hhbmscijhsq6fhrc9dlr7pwx3-ghc-ieee754-0.8.0.drv","["out"]),
("/gnu/store/8z90hmp9sfwhllyphaczl8xrf2p0n1jb-ghc-unordered-containers-0.2.10.0.drv","["out"]),
("/gnu/store/9ji66mgdcapcj5id9iqjfyrd1z4cczkh-ghc-boxes-0.1.5.drv","["out"]),
("/gnu/store/9y3406sxllzy9fcqkdn64i3ac9l145sc-sed-4.8.drv","["out"]),
("/gnu/store/a2ysnac802mdchz04l03478lysilw4h6-ghc-strict-0.3.2.drv","["out"]),
("/gnu/store/a8kpvmipw2l25avya5k4z93lzfmi9r9s-ghc-hashable-1.2.7.0.drv","["out"]),
("/gnu/store/bk5bzy6ik0zzzxampm538dx1gvf8a9gj-ghc-geniplate-mirror-0.7.6.drv","["out"]),
("/gnu/store/bkg0limif6ai63d8pra46cbqzqp38s7h-ghc-data-hash-0.2.0.1.drv","["out"]),
("/gnu/store/cz0v63x2gpdiai7136q5alvk1zsb26c4-guile-3.0.2.drv","["out"]),
("/gnu/store/f5y7c41mq0378j59jw3gmxa3yfx021am-ghc-happy-1.19.12.drv","["out"]),
("/gnu/store/favjc80hspj0j8rsq8ybkqgl3d2bv2pd-ghc-edit-distance-0.2.2.1.drv","["out"]),
("/gnu/store/fbbbfvmcqza3scixafyl1lx1qhk7rfm8-xz-5.2.4.drv","["out"]),
("/gnu/store/g4jmhzx1q25hi38mkc06gwiqwjlcb57h-binutils-2.34.drv","["out"]),
("/gnu/store/h3kkpy6crx5hhap8f7z0lh3yji2kiix2-diffutils-3.7.drv","["out"]),
("/gnu/store/hmcrixv37py2igm74cjk6m1h15k2aqy8-glibc-utf8-locales-2.31.drv","["out"]),
("/gnu/store/hsapgdpjwg6xzkabin7qj1xksn92pix3-coreutils-8.32.drv","["out"]),
("/gnu/store/isr3h4ffxi69v5s4v3pr05asp2l86b7l-ghc-filemanip-0.3.6.3.drv","["out"]),
("/gnu/store/iyjb23hdrjhqz5scz0ngialhziyiigc4-gzip-1.10.drv","["out"]),
("/gnu/store/jxq5lgbx9zpycjrlv795i6y38i4h0yic-ghc-blaze-html-0.9.1.2.drv","["out"]),
("/gnu/store/kyq8hg15kh10s942rzir4sc1zyglyr3l-gawk-5.0.1.drv","["out"]),
("/gnu/store/lxkxg2m6rdv3sqh1pp590q9f9ncl3994-bzip2-1.0.8.drv","["out"]),
("/gnu/store/mahf6sxc9s95m8za65ky6bsp495k6yzb-ghc-alex-3.2.4.drv","["out"]),
("/gnu/store/nx0g5mnqm2xig6wgcb1aw29b1i54pzbj-ghc-exceptions-0.10.3.drv","["out"]),
("/gnu/store/pmchn7fkb8d33h6jk7k3ymbfcjfzbzzp-ghc-zlib-0.6.2.1.drv","["out"]),
("/gnu/store/prsjcijs42cb4rd3jnp3csq1kkxpvsi0-ghc-uri-encode-1.5.0.5.drv","["out"]),
("/gnu/store/qsh2xjsb3ab7wmniw7by4p60hn7j6bb6-make-4.3.drv","["out"]),
("/gnu/store/ragiym08hgs5lz4hywagbv7g1z39wnyr-ld-wrapper-0.drv","["out"]),
("/gnu/store/s9bvsgnpb8npi1gzx57dmkwdl341w24v-ghc-edisoncore-1.3.2.1.drv","["out"]),
("/gnu/store/v2j9ya5x56j2kisyjwiig0id7w25hh6c-bash-minimal-5.0.16.drv","["out"]),
("/gnu/store/vl21an15pc6isqbn7ns08w1cvcp8pwrw-ghc-aeson-1.4.5.0.drv","["out"]),
("/gnu/store/vnq2mzbvj0p50i6n9kir7p0hwkasxf9z-ghc-regex-tdfa-1.2.3.2.drv","["out"]),
("/gnu/store/vxkhg3wqavcswnwhqbk5h9d3b66l9afr-findutils-4.7.0.drv","["out"]),
("/gnu/store/w0dglc0yqdvqsgj7nmryw34zdw3f2ays-Agda-2.6.0.1.tar.gz.drv","["out"]),
("/gnu/store/xadcqins1v7yxh3g7g6b7kp3a2q31b85-ghc-hashtables-1.2.3.4.drv","["out"]),
("/gnu/store/xd5rcdl3ym79j9igwprjwgqmh15ji9pf-ghc-murmur-hash-0.1.0.9.drv","["out"]),
("/gnu/store/yi58264yrj5lc8ljf3r5v5yjgsvyfmsl-grep-3.4.drv","["out"]),
("/gnu/store/zqadiils0f4hhgd2vkmkxmplajjizcgy-linux-libre-headers-5.4.20.drv","["out"])
],[
Sources
],
System
"aarch64-linux",
Builder
[
Arguments
],[
Environment variables
)