/gnu/store/xx2ksd9cdn2wavwbzfyghfgq5l422v0n-agda-2.6.2.1.drv

Inputs

File name
/gnu/store/05999qz5kb8pp1hqgmpawgrwc7fy7x2h-ghc-gitrev-1.3.1.drv
/gnu/store/09v5jx2dmrm62l8y7xvdhlx9cr0sj386-ld-wrapper-0.drv
/gnu/store/0d7q272kph6m1haxsrz3w6hg5b86f2m8-guile-3.0.7.drv
/gnu/store/0fzb141gn5ak47nndpz593kkr3y11snr-ghc-equivalence-0.3.5.drv
/gnu/store/0wzgg01g51h2lyryh6zb4d3khccppkc8-module-import-compiled.drv
/gnu/store/3f3w5lgwlyf67lw9iiws0lzhara6g35s-ghc-hashable-1.3.0.0.drv
/gnu/store/42d6wpwjsa4r8i0wgg5pqhsann3g5isj-ghc-aeson-1.5.6.0.drv
/gnu/store/46drv929wn5vfwcvaqqm00nlm08mcd3l-glibc-2.33.drv
/gnu/store/5641gd5hc2ch5ky9d3nc7h48xq87fxia-gawk-5.1.0.drv
/gnu/store/5g967iidpbfkd35w3rqjn1s6rbfz90yg-findutils-4.8.0.drv
/gnu/store/686mrk0qczp4h9cmw7qqq145nznlh06s-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/71c2axqhpd4ljjjasv3bkl2pyih4md75-make-4.3.drv
/gnu/store/98nfrv7vpiy1r2kl5grmkvxnakdrgdxs-file-5.39.drv
/gnu/store/bca1gf6pcmjjwaa6hilm3m2k56r23sk0-patch-2.7.6.drv
/gnu/store/bhxwmi6imcjaxwgv4z7xafq7yxzd1z6n-ghc-split-0.2.3.4.drv
/gnu/store/chds50v8sz74gl3qqshg5cdci4d6s0v2-diffutils-3.8.drv
/gnu/store/d8w62cb1vlknz68lfc63lnvnxzr53c27-ghc-data-hash-0.2.0.1.drv
/gnu/store/dihg4wdazrdhzxdwplcy0q8i7nsg2q8k-ghc-zlib-0.6.2.3.drv
/gnu/store/f1ddwzm7wq5pbcr2nyivhn1cvvvq534l-ghc-happy-1.20.0.drv
/gnu/store/fzsf0blrzvn1qv71z17c66mnlfgcwkqb-binutils-2.37.drv
/gnu/store/h70rzrddz1nb0k3lhv5p5mqvskkd5a8n-ghc-parallel-3.2.2.0.drv
/gnu/store/hj2raq7h18lqzp2bj66n4l30jkjd5k6w-ghc-hashtables-1.2.4.1.drv
/gnu/store/isp9kn9if5pjlkkp87l08mcvkh7p0472-glibc-utf8-locales-2.33.drv
/gnu/store/iypzw00n6fnr4gjz3wb7d1l9l1rkfzsm-sed-4.8.drv
/gnu/store/jcx87fy425l5bjqsl4l9axp1zayi5ybh-ghc-uri-encode-1.5.0.7.drv
/gnu/store/kw2akzcsbydlrjm81ydj4zjp18w7qpcd-xz-5.2.5.drv
/gnu/store/l98zmrz1c6da64h74s16kv9rxmqp44xc-ghc-blaze-html-0.9.1.2.drv
/gnu/store/ldi5j9d10ks2pywknpc48jny5ynwdyvz-ghc-edit-distance-0.2.2.1.drv
/gnu/store/lwbmgwxjjib1ab19iq2vn596x4vf0jjq-ghc-regex-tdfa-1.3.1.1.drv
/gnu/store/mkyymfq95y6fls9zlvc8kzr42sgyxy81-bash-minimal-5.1.8.drv
/gnu/store/mlf5h71xm151fzv2kfzrr81hmbfm4jvw-ghc-boxes-0.1.5.drv
/gnu/store/nviwq0lz3kcv1xp5nya32bbrfx84pwj3-ghc-monad-control-1.0.3.1.drv
/gnu/store/nz2rxwk6p5kgh71srq2bywfw6i13m9sp-ghc-strict-0.4.0.1.drv
/gnu/store/p9kdszbsk9xiwi3vbzzwhy6b4ink4yms-tar-1.34.drv
/gnu/store/picw2zhfnhja65l82dwx6nkybwd29a73-coreutils-8.32.drv
/gnu/store/piwqybvacpixwl277cbnx2a4k8c3y9fi-bzip2-1.0.8.drv
/gnu/store/q467wnqr5sn42qy8lmcajcyngvkad6qw-ghc-case-insensitive-1.2.1.0.drv
/gnu/store/qc74cxs2845zw14ldhakq0r5ms07c9xr-ghc-async-2.2.4.drv
/gnu/store/rpdp9lv4gmamb0c927x67z57b98fsglm-Agda-2.6.2.1.tar.gz.drv
/gnu/store/rzhya1hwa74p8sxv8b02kw9l2l3anip5-ghc-8.10.7.drv
/gnu/store/vf6qszn3yci2mpvj5mbg9q9wj8y6qmbh-grep-3.6.drv
/gnu/store/xadflgmbv74l1r9wv2m2v3f27laj1xq8-linux-libre-headers-5.10.35.drv
/gnu/store/xk6hadsg1djixws8vh44ga0np7fbsyss-ghc-unordered-containers-0.2.14.0.drv
/gnu/store/xrqs59z44if4a6h5gfpvlsvrk660mrnc-ghc-alex-3.2.6.drv
/gnu/store/z0726j7z6x7jh1in2hxdc3i1n4hz7ym7-gzip-1.10.drv
/gnu/store/zhjzgfswhw8ngb3a65k29nd8wyzvbq13-gcc-10.3.0.drv