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

Inputs

File name
/gnu/store/0xkvrf0f7kc5pjanpi0wm7f54ry8i1as-binutils-2.34.drv
/gnu/store/1838v8ss6rzwl9g71m60br9vb5srr9ah-ghc-unordered-containers-0.2.10.0.drv
/gnu/store/1ffypg3jdfzp2y92hbc9dq14h2xk3njn-grep-3.4.drv
/gnu/store/2jn9g9bf6xp9nixj0p9wij6j8z01wyd3-ghc-alex-3.2.4.drv
/gnu/store/306zhyzppwbps0y9r0nna6xdvv7c7m0r-Agda-2.6.0.1.tar.gz.drv
/gnu/store/3nl79cwh6ndz886qiclrzdqyk0mv5yac-gawk-5.0.1.drv
/gnu/store/3svqfkl6gf1zvnwzdjql9ijmc6ckkacq-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/3ykv18nyg4m8rqkipalr75sf9z5agcvj-ghc-filemanip-0.3.6.3.drv
/gnu/store/44b77nkr15ymb2xzls9df2vdwxgra8n4-bzip2-1.0.8.drv
/gnu/store/4y1i8i3lf5ms1bpdkq5w293pczd7g45n-ghc-happy-1.19.12.drv
/gnu/store/5pv6fvqf28yljh6xy1v050zm7fv9qp7l-ghc-hashtables-1.2.3.4.drv
/gnu/store/5ri6vdrvs39pnmxcpjq05blh6kb9skcy-ghc-8.6.5.drv
/gnu/store/5y6k19nxs9y058s3439qb4r2n6zs0plm-glibc-utf8-locales-2.31.drv
/gnu/store/6a2f0hxrfgj29wjv836w2f7011nxcm8i-guile-3.0.2.drv
/gnu/store/6xc234jkaf3l3yy4lhn2mwbnwl7284w9-file-5.38.drv
/gnu/store/7yyr1f2f7xqcxab1jls00fadd9n4rlfx-diffutils-3.7.drv
/gnu/store/8pgrm0cxl4x01bkanybf5gpck84l44pq-ghc-exceptions-0.10.3.drv
/gnu/store/9rdm3xdf06kjwd6r4j0ndb8lj5j2zcz9-patch-2.7.6.drv
/gnu/store/ax3j401bbh4j1ggib11xiqy7jaggn17p-ghc-blaze-html-0.9.1.2.drv
/gnu/store/b0z8ar3yn9zmdmg2ps75nmsiy4zxn309-ghc-async-2.2.2.drv
/gnu/store/b4l0hn86hh1rqb0jff592n3zisgsr0i0-ghc-equivalence-0.3.5.drv
/gnu/store/bqyq7iykfcq4p4wd9knnwgq6vp5z12m8-ghc-strict-0.3.2.drv
/gnu/store/clfdaygidimi2wycpaym0a4vfdc75aj8-ghc-data-hash-0.2.0.1.drv
/gnu/store/cw09r6ljgwzmys7509p03a7h8szk7n9s-sed-4.8.drv
/gnu/store/dcr7vsp3dclcmg4jdfxkm2x45w3bqcdi-coreutils-8.32.drv
/gnu/store/fsplzmdids1qk9ij91zijh94ld52i0f0-findutils-4.7.0.drv
/gnu/store/fwk8ny37dxz7f82kpv8r3q3lw7bnlyzy-ghc-zlib-0.6.2.1.drv
/gnu/store/g3v32hfzwwyd38a0w5wnh2xvcwixpkwb-tar-1.32.drv
/gnu/store/gqwmxmpgwizs0qyx7hz8wadwzq4x0kqf-ld-wrapper-0.drv
/gnu/store/i9c0ixlrv6v8smg0zp3vzcdf0cv9ipby-gzip-1.10.drv
/gnu/store/jjnryda37bsa0x6nv2m3p1w1karx69j5-xz-5.2.4.drv
/gnu/store/kvrm6rsrvw44nq0a3al9nfqd1llxx20i-ghc-hashable-1.2.7.0.drv
/gnu/store/lbyph0yh20rhkv4asp6fbzdyh7aklqh8-ghc-edit-distance-0.2.2.1.drv
/gnu/store/p069jng9cfi2w9cp5331qygf0ii00gnm-ghc-gitrev-1.3.1.drv
/gnu/store/pfc7xy217pn68gy5wf7gkm2qn5clvq15-ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/qb0zdplafm5shk606ag2kr5vs9nqc3qp-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/qq6hlgjiyqx6m4zyj8ccp1ryinpzlsl1-module-import-compiled.drv
/gnu/store/r0di7nvszw701963qkv0wg3hlc3y7v3b-glibc-2.31.drv
/gnu/store/ribas3q2z7gakk76m7ph2cp2qnd5p1jj-ghc-uri-encode-1.5.0.5.drv
/gnu/store/skk9bsjhy18zngdxx34isv1ancb4r8zd-gcc-7.5.0.drv
/gnu/store/v61vdxzjkandmzw0bwd5w5clz32gjj1b-make-4.3.drv
/gnu/store/w0kmv353ph5ny67ab1ynix3d5iv1qnwl-linux-libre-headers-5.4.20.drv
/gnu/store/wqp4afj6b7by16cqpkld2vfd0z4sbcgr-ghc-aeson-1.4.5.0.drv
/gnu/store/xd5h6vw5gn18n75rzcfq4mfr71ji851d-ghc-boxes-0.1.5.drv
/gnu/store/yc8dc970h9lsav1ib0pfnphz4vsfqlgx-bash-minimal-5.0.16.drv
/gnu/store/z5p920a3d0kc8ph6h1i0wr7x36s3dvlr-ghc-edisoncore-1.3.2.1.drv
/gnu/store/zi4yax7pyk74m69x640dkb5q9b5d3iw7-ghc-ieee754-0.8.0.drv