/gnu/store/pd0wj1vy5ah9m9hpkgb5sdmc80cnh5ns-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/19vsi18lqgzll0ni7c9gkbqyjk1s9dws-ghc-8.10.7.drv
/gnu/store/1xdiky9y1bqqxcsqpfn171y13jinmkps-ghc-happy-1.20.0.drv
/gnu/store/2nxgscz5k760yikxj7w6cqncvsg2a4m6-findutils-4.8.0.drv
/gnu/store/3ispc5sxj0j9rz2jyy0zr73is9a9clxm-ghc-hashtables-1.2.4.1.drv
/gnu/store/3kpm07rxyimdfh48xjv68y8p9w9z8wrx-ghc-edit-distance-0.2.2.1.drv
/gnu/store/4pkh2qadk9q88ay4f4xbpz3zd1qfndrm-ghc-strict-0.4.0.1.drv
/gnu/store/55qmvwfdf87s2474gnsd56p2748f0p3g-gzip-1.10.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/95756h12bvkb8w68d1rggl6qf06n6jyr-ghc-boxes-0.1.5.drv
/gnu/store/95jmwkfn5267xpxwsib2zbwjs2gg1qf4-ghc-zlib-0.6.2.3.drv
/gnu/store/9k09qj5mkaazpffqmjcrav1xxr8zyccm-bzip2-1.0.8.drv
/gnu/store/9qadkkfngcwgcsmdp238dg88w9ln2kcp-glibc-2.33.drv
/gnu/store/axy4vvf47l6jnvwl4kxjh011va1icnlz-ghc-data-hash-0.2.0.1.drv
/gnu/store/b5cbj1apwjxx2c1zlf8wg41igrhgmbi7-xz-5.2.5.drv
/gnu/store/cg0p4bc15cbi1qqmcjb35b88panaaqfc-ghc-aeson-1.5.6.0.drv
/gnu/store/cshwp0ra9sgj2dvg2xc7q8wg9a00lz1g-ghc-case-insensitive-1.2.1.0.drv
/gnu/store/fyarvlvf3h67xskmpcgw9ghbi59vzf20-grep-3.6.drv
/gnu/store/grjpabvc1g6m7h4vxk7dcspa9ixdqkah-binutils-2.37.drv
/gnu/store/h8klmkh8d16kjv7hz4px0x8gi05hnkys-ghc-split-0.2.3.4.drv
/gnu/store/hahygdbxhgi3a659dliscbxb3anv7i57-ghc-blaze-html-0.9.1.2.drv
/gnu/store/hp124rn6hjrp3d4mf8xids5m617l8ry8-module-import-compiled.drv
/gnu/store/in3g4167qcf3dha7dkk4295r387pnn5i-ghc-regex-tdfa-1.3.1.1.drv
/gnu/store/j5ypmgjxlphgnxkn1rkbv7w9ll1mxf6v-Agda-2.6.2.2.tar.gz.drv
/gnu/store/kh9y3apw042ym1xch70yr2ggh5cpm6dm-ghc-hashable-1.3.0.0.drv
/gnu/store/mfr346hrmg1297khzkwkylp6ykg6pb7j-ghc-gitrev-1.3.1.drv
/gnu/store/ml1drv8szilrymkzicw9s06af8f2554v-gawk-5.1.0.drv
/gnu/store/nnxgsdxcp21mqcr6f01fa2lvkfgvlps0-ghc-async-2.2.4.drv
/gnu/store/nqzvcazy1ny5y27dmppciadll7x7i4il-ghc-monad-control-1.0.3.1.drv
/gnu/store/p8dzmj28f6b1ww35np24q47n9v2rq1jc-ghc-alex-3.2.6.drv
/gnu/store/pa249jp16bkf21qakl864df2n6r42pqg-ghc-equivalence-0.3.5.drv
/gnu/store/qmzzbf2fvfgz0v9s64k4w50pd0ivw7j1-diffutils-3.8.drv
/gnu/store/qv9f6qwd0vsljwcj2x565wlqfb7vxjqp-patch-2.7.6.drv
/gnu/store/vccycsz0gmxakmsqk32qk492nq1hgf0h-coreutils-8.32.drv
/gnu/store/vw6jj0dkvwbipj257506zcbpszgnxxwb-ghc-uri-encode-1.5.0.7.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/y55shcgjzlmwy82x6nb1nrs4wcwsm2jw-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/y98kl2hbkzfwf7hhhpa6fwmhdqprqdqb-ghc-unordered-containers-0.2.14.0.drv
/gnu/store/yrq0xv0ghhhi8z6pwppmdkmmnkg1hzaj-ghc-parallel-3.2.2.0.drv