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

Inputs

File name
/gnu/store/0asl20syrid10zk22cj5sgffpbax4aq4-sed-4.8.drv
/gnu/store/198fqwlbckczn9c06cnmba0n1grqjsic-gawk-5.1.0.drv
/gnu/store/1wwac30cv62m3xivx32xi36v84059k9l-gcc-10.3.0.drv
/gnu/store/2bw1psdni1qri0sazwqmwkpwrna1rbxi-file-5.39.drv
/gnu/store/2fg966hw6x5lw2kjcgi7gl7jnx39zdr0-ghc-aeson-1.5.6.0.drv
/gnu/store/2nnxxk75ss9l0q3vxgmifbvz9kvkkdcx-ld-wrapper-0.drv
/gnu/store/3lqa0n9z56mng27gahj7zx4vcy7k1lz7-ghc-parallel-3.2.2.0.drv
/gnu/store/47mmwrwvl5slcv7ppghkn8886p3b3vkl-ghc-data-hash-0.2.0.1.drv
/gnu/store/6d6xfcpamnrw6d5mzfpp5003yr93ssmk-ghc-edit-distance-0.2.2.1.drv
/gnu/store/6i15an4fh61636yd0nh40wb7yp6m2lj3-grep-3.6.drv
/gnu/store/781m1pmik4g8ilirbpqczkx1ygb2wnk3-coreutils-8.32.drv
/gnu/store/84qbp5x8b8p2asjmm3i48ank3wr74gg7-ghc-case-insensitive-1.2.1.0.drv
/gnu/store/96ii286yccxd9hzsvqf80zhgk27jvrgv-linux-libre-headers-5.10.35.drv
/gnu/store/9d256zjhv6asp3wv7rnj840cb2nbyady-ghc-alex-3.2.6.drv
/gnu/store/9snaqmskw5s00f1rngqw1phkl07z153k-glibc-utf8-locales-2.33.drv
/gnu/store/bjrj6iwkar8cfp5y1idfwa6wgqqxshwj-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/cgz6yxm9838738priyrylhjydm71mpn0-findutils-4.8.0.drv
/gnu/store/cpk63wz8zbmnrhmf7kkyqpi8f6r8zvs9-ghc-boxes-0.1.5.drv
/gnu/store/cr01kbf34fyympxk33bwzxfbm9ns453v-make-4.3.drv
/gnu/store/d6krlj2sq38iig742pkrs9xxias978l9-tar-1.34.drv
/gnu/store/dfab4s38chxpdajyxc1a3vd05yqpzam3-ghc-equivalence-0.3.5.drv
/gnu/store/f3s87an6hyxly7hc9lvblxa7lvwzrj34-glibc-2.33.drv
/gnu/store/g5g6ql6ciaqsidrgd8cx8cz6y18ahz3q-ghc-uri-encode-1.5.0.7.drv
/gnu/store/g7rw1bbyis9fm7csgpxyxblvp66l95z0-guile-3.0.7.drv
/gnu/store/g98yiphzsm8lci4c109lyx0c8a34kmqx-ghc-zlib-0.6.2.3.drv
/gnu/store/gar0923nwp1y6393z9a0xg344g3k5vfg-ghc-gitrev-1.3.1.drv
/gnu/store/gqhcafkfbn94i2y1ll6zh2agvwb08dpx-ghc-8.10.7.drv
/gnu/store/ivg78cf566rp6dw1lza2d9h67plx61nw-ghc-strict-0.4.0.1.drv
/gnu/store/j34m34xycmism6y8v32760lqi91rqj6l-ghc-hashtables-1.2.4.1.drv
/gnu/store/jg5zbl4mdwlddrldzvpld4zswfg8rjbn-bash-minimal-5.1.8.drv
/gnu/store/m650zk7ja89hpx77iq7szbb3a610i8d1-ghc-monad-control-1.0.3.1.drv
/gnu/store/m8kdsvhm9g2hph5b9sibw26kkpiy6ng2-Agda-2.6.2.1.tar.gz.drv
/gnu/store/mpnc7j1a4rsyp6max01507ng7icz683c-ghc-blaze-html-0.9.1.2.drv
/gnu/store/njljv3dih9y3mfyr3dan8gg2jcka0qkp-module-import-compiled.drv
/gnu/store/p38ppmpgs1ncmxnh2nnljq1mh2067iac-ghc-happy-1.20.0.drv
/gnu/store/p5var5q8fga26dl59sg7jzfj6b3ir3j2-ghc-async-2.2.4.drv
/gnu/store/pcnrzpphkmim0xhjf7a0zc3g2da5rhpn-patch-2.7.6.drv
/gnu/store/rzmikrfc4czw6d9q22w2rf30yjx99hnl-ghc-regex-tdfa-1.3.1.1.drv
/gnu/store/s52byri22kqz1va7ym6c1l1pr8x3cim5-xz-5.2.5.drv
/gnu/store/sdc5ln66r9k76i633lfwspkj3knlmywi-binutils-2.37.drv
/gnu/store/sds13nff9hhq68xvf2yx644xq43kvfsi-ghc-unordered-containers-0.2.14.0.drv
/gnu/store/vvvndh72dd2k5wkwpx14d0ay0s1f3zfr-diffutils-3.8.drv
/gnu/store/wvi1ls3qdc27c0wb0r1rmjvmy6b9a6qz-ghc-hashable-1.3.0.0.drv
/gnu/store/xxfrlv9dlv4f2dkm92da04c2gi9kzx1m-gzip-1.10.drv
/gnu/store/yyb087whgkrqvyikz2gy4711054kkwpg-ghc-split-0.2.3.4.drv
/gnu/store/z7mxaw4x8pzv1dp8kh164haxp2hyfmx0-bzip2-1.0.8.drv