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

Inputs

File name
/gnu/store/2s15jlj037as8w3lrcvsv4ld5gzkfab0-grep-3.6.drv
/gnu/store/3y0vsfz5zl2m08q1qrqmawkk1li2zp78-ghc-boxes-0.1.5.drv
/gnu/store/42lndybdslllpp7sk1lsd1fcc8llf6q9-ghc-async-2.2.4.drv
/gnu/store/43b9qlndzprwdgs3pm7kiniba8ngls46-binutils-2.37.drv
/gnu/store/53chyl5jndpb017l2svk65qzv9wxsh14-gcc-10.3.0.drv
/gnu/store/57n2w8qgfpj3d3ab5f6q2yanjjii75ch-findutils-4.8.0.drv
/gnu/store/6fbcpyw0677v6nff0civ3dc1izc9mavm-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/7b4c2c1nd5s77prcdp8sjrj7i0cvab44-Agda-2.6.2.1.tar.gz.drv
/gnu/store/7izczvhvzh760yj7367h7sf4pn3iiv2b-ld-wrapper-0.drv
/gnu/store/7pn5sbjlrpybv9ip2m6fbshhckym0by4-glibc-2.33.drv
/gnu/store/7vnql8i8z3b7q9xkp28wdxd632sxjbbb-guile-3.0.7.drv
/gnu/store/awxapbb148d0iisb61ipkp3bdgv1iz38-ghc-strict-0.4.0.1.drv
/gnu/store/aydzvra50ynm120qnsl2wdjgqnm4k43q-ghc-aeson-1.5.6.0.drv
/gnu/store/b0ma6l61ad4dfb3030sl1ngvdlicc523-glibc-utf8-locales-2.33.drv
/gnu/store/b6w7qqsmqqmpa8xy7y22dbks8g1mrrz5-tar-1.34.drv
/gnu/store/bjm2nyvfqm7fv12kgplkbavfrp5fkxz7-ghc-8.10.7.drv
/gnu/store/cpdlbmsj50m4wqz53zgasas9l8ya6r7x-gzip-1.10.drv
/gnu/store/djh9scqk7pgn0vpb6vi9l8hxssdxsmiw-bash-minimal-5.1.8.drv
/gnu/store/fd2bkfa515jk81p7mngmn752112g15l8-patch-2.7.6.drv
/gnu/store/fdzm833fjv456gwhz36ybqn9y9sk67n5-ghc-monad-control-1.0.3.1.drv
/gnu/store/fi0fqqw5v8ld66p90qvpsg0fg5rapgfy-ghc-regex-tdfa-1.3.1.1.drv
/gnu/store/fwswwcd1k862vk9i2k93v55rxzikb4w6-ghc-equivalence-0.3.5.drv
/gnu/store/g0hddwm2hyg47g6gyda40chgjn2lr7hx-ghc-data-hash-0.2.0.1.drv
/gnu/store/gnihvfanxhwhhfz5c1wdgsps9j53cp2i-ghc-edit-distance-0.2.2.1.drv
/gnu/store/gwjpqzgfbw944vk7dzs9mpsrmrxcbw1k-ghc-unordered-containers-0.2.14.0.drv
/gnu/store/hdk7hvz5bhlq2n4pb1s0ahrawqhvrdnx-file-5.39.drv
/gnu/store/j8n8iad2gnnlxziqcn68crygy65cd2zx-ghc-uri-encode-1.5.0.7.drv
/gnu/store/jyk6s6jmj7i79ydxpclr7wql4ivvvp8y-coreutils-8.32.drv
/gnu/store/kmfx1bbrcxca8z7hdm8h9zzylh325hsx-bzip2-1.0.8.drv
/gnu/store/l9pmckd7ja2bbzs49x22k39x6p5ai8ci-module-import-compiled.drv
/gnu/store/m7cxwdhpf0j5dn6aqb4nl356h1n7fzca-ghc-blaze-html-0.9.1.2.drv
/gnu/store/maqyzby3hkk51ii1cpb7b5fkz6vl4bxs-ghc-zlib-0.6.2.3.drv
/gnu/store/mx1ncvahff32z3ql9l1vr8ca905v28a6-ghc-happy-1.20.0.drv
/gnu/store/naiqvhiqagv3g4dh800k0rzy9fyv11ir-gawk-5.1.0.drv
/gnu/store/p80mdg4h46888mcnkx3vsxj4s451s1fd-ghc-parallel-3.2.2.0.drv
/gnu/store/pgf7a19pd13ymxvqwpi4ism08rjydqz2-make-4.3.drv
/gnu/store/qbqgamcpwgs2sw8lcr6pxl5y38fpyz0d-sed-4.8.drv
/gnu/store/qmsbxbgb758h6f7018snxlwn69w9w9i4-diffutils-3.8.drv
/gnu/store/rgj0s1jd9v31lz85l0ghm3ggr8k6k59h-ghc-hashable-1.3.0.0.drv
/gnu/store/rqq9vl38y8xmgmmqiyph1mrh6w28wpj6-ghc-hashtables-1.2.4.1.drv
/gnu/store/sncfrnnwvvqlwfv7l6jn76n6a55h5d03-ghc-alex-3.2.6.drv
/gnu/store/spapqrn2j6a5mc7w13xiw8136y4brv7w-xz-5.2.5.drv
/gnu/store/ss58r4nrmzy53fbhd0cjy9bmvw38x2ml-ghc-gitrev-1.3.1.drv
/gnu/store/v2dxdf2jmk9mxw1dzzpvfbhnk9yl31wh-ghc-case-insensitive-1.2.1.0.drv
/gnu/store/xfh4965w2amrsl7x0h3dslrhndzn5bbz-linux-libre-headers-5.10.35.drv
/gnu/store/yya053x5wfrk5l0mhng77jh1v9jbpyri-ghc-split-0.2.3.4.drv