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

Inputs

File name
/gnu/store/01mqx581dqhw947rzj2x83cb4c3aafq6-bash-minimal-5.1.8.drv
/gnu/store/0i34znhwb9j19f65lyd302cqzma5bywp-gcc-10.3.0.drv
/gnu/store/0vmqb9mba28dsj2dylqi7bliqyg7a336-make-4.3.drv
/gnu/store/14fzg4dzg62zi2n1iac9rx3x71917mav-guile-3.0.7.drv
/gnu/store/1d1inx1d4gzf7xylqw9xmpg85k14mb86-ghc-parallel-3.2.2.0.drv
/gnu/store/23zwnsg2pm64jfhflzdqg0hc9ll665di-ghc-unordered-containers-0.2.14.0.drv
/gnu/store/29caxsccqmrrr3dg9kdhd5almq0b054x-ghc-happy-1.20.0.drv
/gnu/store/2nxgscz5k760yikxj7w6cqncvsg2a4m6-findutils-4.8.0.drv
/gnu/store/3g7ydy6b32gwxsrh3vs5q3ajpq6gny0g-ghc-case-insensitive-1.2.1.0.drv
/gnu/store/45gp7m25iqpgi4mnkq4zsrnyrcfbnja3-ghc-hashable-1.3.0.0.drv
/gnu/store/55qmvwfdf87s2474gnsd56p2748f0p3g-gzip-1.10.drv
/gnu/store/5jb4ll5map7m7xp5y300vkhwcfb90rif-ghc-monad-control-1.0.3.1.drv
/gnu/store/6i55smxndnzh6h3cfnqp6gx1bzbvj2dk-ghc-blaze-html-0.9.1.2.drv
/gnu/store/70zm6qspws3hb4p17y489m48lbm9iwf0-ghc-aeson-1.5.6.0.drv
/gnu/store/76ncc0xr7khrmmhisi2a16bqx2ppvkk2-sed-4.8.drv
/gnu/store/7i72a65x74mi0krihyjril5qgzi3bwri-tar-1.34.drv
/gnu/store/7sy2q025w6s9yjz8yphk0xvcynjfjdkd-glibc-utf8-locales-2.33.drv
/gnu/store/8imdis1f78zf5x24qzidvh25qfmrp2kz-ghc-split-0.2.3.4.drv
/gnu/store/9k09qj5mkaazpffqmjcrav1xxr8zyccm-bzip2-1.0.8.drv
/gnu/store/9qadkkfngcwgcsmdp238dg88w9ln2kcp-glibc-2.33.drv
/gnu/store/a83pcsywwx58qpwmjix5gagx1ay16fs0-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/abkpi7yy1kwngyvvfgka6z87brw5cz4v-ghc-edit-distance-0.2.2.1.drv
/gnu/store/b5cbj1apwjxx2c1zlf8wg41igrhgmbi7-xz-5.2.5.drv
/gnu/store/c0rjp3sk8m9jxx9dvav0n1yx91psf9p8-ghc-zlib-0.6.2.3.drv
/gnu/store/d8xyjpiwxnhfcp4cbabazslnrvpng4cl-ghc-equivalence-0.3.5.drv
/gnu/store/fyarvlvf3h67xskmpcgw9ghbi59vzf20-grep-3.6.drv
/gnu/store/grjpabvc1g6m7h4vxk7dcspa9ixdqkah-binutils-2.37.drv
/gnu/store/haibfidhj9aswc4q4jxs7jy7hfd5v7s7-ghc-regex-tdfa-1.3.1.1.drv
/gnu/store/hp124rn6hjrp3d4mf8xids5m617l8ry8-module-import-compiled.drv
/gnu/store/j5ypmgjxlphgnxkn1rkbv7w9ll1mxf6v-Agda-2.6.2.2.tar.gz.drv
/gnu/store/jnl1sazkl9dnbkqjhgz27b490247ys36-ghc-alex-3.2.6.drv
/gnu/store/k8q511livasbij2prdh32ggnxg9nwh0n-ghc-async-2.2.4.drv
/gnu/store/khnyy9cvawrg25vsqv26rr3398zpq89w-ghc-8.10.7.drv
/gnu/store/mj462zbfx2g9v50kj296h87268zdbybs-ghc-uri-encode-1.5.0.7.drv
/gnu/store/ml1drv8szilrymkzicw9s06af8f2554v-gawk-5.1.0.drv
/gnu/store/mv1kza7cxpq5kjb4xs4mww8kw9kxx67s-ghc-data-hash-0.2.0.1.drv
/gnu/store/nm7yl8ld414v8jhvi1jw0fph0r3sxyb8-ghc-hashtables-1.2.4.1.drv
/gnu/store/qga67iyydygvjniy015nh60hvr8yfx16-ghc-boxes-0.1.5.drv
/gnu/store/qmzzbf2fvfgz0v9s64k4w50pd0ivw7j1-diffutils-3.8.drv
/gnu/store/qv9f6qwd0vsljwcj2x565wlqfb7vxjqp-patch-2.7.6.drv
/gnu/store/snw4cifslh2s50lkrryl4b3vymd4gic3-ghc-strict-0.4.0.1.drv
/gnu/store/vccycsz0gmxakmsqk32qk492nq1hgf0h-coreutils-8.32.drv
/gnu/store/vymx4n48dgzh0hmp0isz4yicrh8bqp0a-file-5.39.drv
/gnu/store/xsiny5v2y64a7npabnrgyh1myvgmz0r1-ld-wrapper-0.drv
/gnu/store/xwh1h1mdzyh87j87msj9didafwx651i1-linux-libre-headers-5.10.35.drv
/gnu/store/yjy02bqgp65f6g0m4qlb7bvabirgmqsi-ghc-gitrev-1.3.1.drv