/gnu/store/rqjylv6v8dmqbss59w6s28cr3f1zfmzk-agda-2.6.2.2.drv

Inputs

File name
/gnu/store/0ykryjsvwwqkvrbh0jqyvsp1zfdvpax8-ghc-regex-tdfa-1.3.1.1.drv
/gnu/store/219i5yc13ma27vc793ifzfi9qbkfxq3i-make-4.3.drv
/gnu/store/22lxmxai9c3pcvkj12y8sz1kcwclnzc6-findutils-4.8.0.drv
/gnu/store/2b5h336macy1pp0bxp1hzja4sccm2f38-grep-3.6.drv
/gnu/store/2wgwx2gcfinfvrh35yy9b1bwwsqj3haq-sed-4.8.drv
/gnu/store/3j3ww04796z8fg08ik4rsw26pm517435-ghc-uri-encode-1.5.0.7.drv
/gnu/store/5dsppqglnmgkp817bavd135dfnsgd9sl-ld-wrapper-0.drv
/gnu/store/6dbbsy862aqhb5w1c8wkp73cm8rbxcih-bash-minimal-5.1.8.drv
/gnu/store/73kmzc3b5d0y4h2pi4fs6mbyj53qrscs-gawk-5.1.0.drv
/gnu/store/7cwfb8yraxz8f959rfsgalgf00acrz2m-gzip-1.10.drv
/gnu/store/7pg4vlp5lgxb0nhbarwrkk9mrmfy7pjs-ghc-happy-1.20.0.drv
/gnu/store/8f0n9irhqdnjrfn9csgdg7lciiz9w3l7-ghc-strict-0.4.0.1.drv
/gnu/store/8g9w9jy2kyr3dlirpxprmc449yzkfni2-ghc-monad-control-1.0.3.1.drv
/gnu/store/9vjqfzsqdz2b3pyr77p3kx8gm72kz6ms-ghc-parallel-3.2.2.0.drv
/gnu/store/b8b58b98qfvkxn46g36bbj59q8nnrhzw-ghc-hashtables-1.2.4.1.drv
/gnu/store/b929gbvqf745gn6ayxm652dx6mvzp04a-linux-libre-headers-5.10.35.drv
/gnu/store/bly5qnmjlnwrfmcvx9ixng8ck3ki9kws-diffutils-3.8.drv
/gnu/store/c35px28qsg41i88gzf47ksmvmhq8n077-ghc-8.10.7.drv
/gnu/store/cs5yz3xw532i907z931m0y8zlrpg0kzv-ghc-blaze-html-0.9.1.2.drv
/gnu/store/di3rwaziyvb0q6s53rs3p2rn29rlsk8v-guile-3.0.7.drv
/gnu/store/fvv3m7jgg99m2yn3g0rji6agxiyzjkd6-patch-2.7.6.drv
/gnu/store/g2ccqv2lb7b9gx3jhbdxc0kapch0i5ms-gcc-10.3.0.drv
/gnu/store/grd48bsrm5qkhcryqwbaw47418njkgd9-bzip2-1.0.8.drv
/gnu/store/i4v0nk7gb7my6igcizljlrjzyr760jrp-ghc-aeson-1.5.6.0.drv
/gnu/store/j47yfkbhhxzpjdp2rlp9ig0sx482bfnq-ghc-boxes-0.1.5.drv
/gnu/store/jvj06jya0fv7wac1qlsmwp2kqc5cj32j-glibc-2.33.drv
/gnu/store/l8kf1v4qbfy3x6mplcam4z45krjd1kl5-ghc-unordered-containers-0.2.14.0.drv
/gnu/store/ld16qgxwrwkbkxwzw0bj3ncibrjla4hm-ghc-zlib-0.6.2.3.drv
/gnu/store/pvym0ynwijqvwh8j8fmrn30f7hm8n12q-Agda-2.6.2.2.tar.gz.drv
/gnu/store/qd2xz8nn301yz63fbxpm90ipq65q7s2d-ghc-hashable-1.3.0.0.drv
/gnu/store/r0zy84an729bn7hzf6ax4k6cvaikc27g-tar-1.34.drv
/gnu/store/r1q16xqh9kr9mci8vfn7nnlzqvaw7z4x-xz-5.2.5.drv
/gnu/store/s6pqgq85s4h8bl8cmvk2cpyp1kakbgyg-binutils-2.37.drv
/gnu/store/sdfvf0xk1bwa6fhpra7v89svp1kwvv53-ghc-async-2.2.4.drv
/gnu/store/v962r5w2kidwzajaia90k4zjd7p3vcqy-glibc-utf8-locales-2.33.drv
/gnu/store/v9wvnlwc9k8d8ki3ysslqi6f7l53ww0k-ghc-case-insensitive-1.2.1.0.drv
/gnu/store/vf2mfj44vdww7j847f3wvfs9fwzpvbp9-ghc-equivalence-0.3.5.drv
/gnu/store/vkkf3vij9ia28zskp25i3fmzf0y5vqya-file-5.39.drv
/gnu/store/vxkxkcdz6yyaw056aqazlzgvs512dxb8-ghc-alex-3.2.6.drv
/gnu/store/waqy9vqpwlb35gscn2sss4dxns9qnm3l-ghc-gitrev-1.3.1.drv
/gnu/store/x48an3yn4anmsjkv8jkrpcz32mjcz9l4-ghc-edit-distance-0.2.2.1.drv
/gnu/store/xlyf67p5qzapmn0x97qix2v00bd27k01-ghc-split-0.2.3.4.drv
/gnu/store/y0q960jidrci5p2gmjwc01fsfwlkdrvd-ghc-data-hash-0.2.0.1.drv
/gnu/store/yky0pjbrk6qy8zzlnvzgxk05wpj28c6a-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/yn7sfdzamy5q7nnz8cfna5npnc5ssfqs-module-import-compiled.drv
/gnu/store/zswxrawcshx20ryk5k4ffjfrddh3p0ff-coreutils-8.32.drv