Derive([("out","/gnu/store/dz1lf03y543pn8vcwj34bbhlbq4kbana-agda-2.6.2.1","",""),("static","/gnu/store/m6ndr2z2iaam7kl06f70nny9nycnz0i8-agda-2.6.2.1-static","","")],[("/gnu/store/0q67qjyia90kawyfn05p6h7kasmq4pa6-ghc-blaze-html-0.9.1.2.drv",["out"]),("/gnu/store/11cxz7g77kadzr5fp29sh0cwzp83zk6y-make-4.3.drv",["out"]),("/gnu/store/1nkx4r40w3akia3zj5r4iv1km057f5wd-ghc-strict-0.4.0.1.drv",["out"]),("/gnu/store/2c8xz46zwfwp6sb8vwp15jsf79if29jh-gzip-1.10.drv",["out"]),("/gnu/store/30sp4dwibb0xd07mqrax7xfmzhh5b66w-ghc-parallel-3.2.2.0.drv",["out"]),("/gnu/store/38r7hw7n9bbsclk0p8b4yfrn4k1nndcp-ghc-uri-encode-1.5.0.7.drv",["out"]),("/gnu/store/3lnychv2w2svvb89fpivkk9hd4fcc4z3-ghc-alex-3.2.6.drv",["out"]),("/gnu/store/3vsh56g3nijfazja0gh86ly8wf2pr4n6-ghc-equivalence-0.3.5.drv",["out"]),("/gnu/store/41l16p74hvf8p80snk1vyhsfkyw4lbhx-ghc-regex-tdfa-1.3.1.1.drv",["out"]),("/gnu/store/6pk11d7g5540mp6cmkssn5alip0iaif6-ghc-gitrev-1.3.1.drv",["out"]),("/gnu/store/6rwia5gx70p8kipfqygr2pgcbrfji1bv-bzip2-1.0.8.drv",["out"]),("/gnu/store/6x0zqbdlrs4pdvrmpmln3fdgii8sf5pm-ghc-async-2.2.4.drv",["out"]),("/gnu/store/7bgnazs2qic95y7wiah0azy6dczy93jr-sed-4.8.drv",["out"]),("/gnu/store/ajw48nina8klbdx2m62s854z9r041mw4-bash-minimal-5.1.8.drv",["out"]),("/gnu/store/azivbfzmn4yp9vspxylgi4k0wzvi27nc-diffutils-3.8.drv",["out"]),("/gnu/store/c09zhipaigsa52c2n76aqb3fyybif59l-glibc-utf8-locales-2.33.drv",["out"]),("/gnu/store/cyv9vxvi8hlqprfdiqzv3gn2h2k8z083-xz-5.2.5.drv",["out"]),("/gnu/store/d3fpln37qw9nwda8qxjy2z4c6vw3xg13-ghc-data-hash-0.2.0.1.drv",["out"]),("/gnu/store/di2n19gl43qp44as0ib0xsh5p35369bf-findutils-4.8.0.drv",["out"]),("/gnu/store/djyh3vrlf951vlbz7pllnp1yminpkv90-glibc-2.33.drv",["out","static"]),("/gnu/store/frss4q6zr9b45bzswnhv3vgwk2vxrzyp-ghc-hashable-1.3.0.0.drv",["out"]),("/gnu/store/gvypwi628j45388lzgcxfigkc3wrmc3k-guile-3.0.7.drv",["out"]),("/gnu/store/hpmm49r0n7s615ja19x6hna02s8wcnnz-coreutils-8.32.drv",["out"]),("/gnu/store/i9lqvizismgnx4vc03nral16pzz411kl-patch-2.7.6.drv",["out"]),("/gnu/store/iazgn3zais81698056jbdal7s7jzjpph-ghc-boxes-0.1.5.drv",["out"]),("/gnu/store/if97cq798y5r0hd7krw3f8jac63ym7jp-ghc-split-0.2.3.4.drv",["out"]),("/gnu/store/in4gc84k7gc81ggjp1habgp87mr2i4w5-binutils-2.37.drv",["out"]),("/gnu/store/j5c8q5gpq7vg8gg0bcxxmndj59n7ljvq-ghc-happy-1.20.0.drv",["out"]),("/gnu/store/jmshipcmrmpyrfrq91h1fvm3nm6c1mym-ghc-case-insensitive-1.2.1.0.drv",["out"]),("/gnu/store/lmddbxlbvjb3dmw2b7xbfwrfdgjz6xv8-grep-3.6.drv",["out"]),("/gnu/store/m8r3sw57iyw2q3rgcp9i5532n12x4jq1-ghc-zlib-0.6.2.3.drv",["out"]),("/gnu/store/n282sfnnp92p5m8kid5rhg8f0lbyhwl3-file-5.39.drv",["out"]),("/gnu/store/nkbxmzk99lmkf6wcd6k1hw6ifvjd8y6v-ghc-edit-distance-0.2.2.1.drv",["out"]),("/gnu/store/q6ngrzz45h7y2zxzcshlszfvfcl5lpc5-gawk-5.1.0.drv",["out"]),("/gnu/store/q7n6h841mbs543di8m4dpnd7crakpxa0-module-import-compiled.drv",["out"]),("/gnu/store/qj4msd7mgcch78arrsl1zwln9859dz1h-tar-1.34.drv",["out"]),("/gnu/store/rbgcy28mz78s5y0b8kcrp9y0sjggkcm2-ghc-hashtables-1.2.4.1.drv",["out"]),("/gnu/store/smhq3blkq7yq381ayq6ha6a5mmk08hf7-gcc-10.3.0.drv",["out"]),("/gnu/store/vbjkcxncl8mc7akyq2qmn3lvrk8icsp6-ghc-monad-control-1.0.3.1.drv",["out"]),("/gnu/store/vz01gvz5flf76cx0hl84rryba66xcdm3-linux-libre-headers-5.10.35.drv",["out"]),("/gnu/store/w2c73mh3xjwxr9gfrrnkfz80zvvrkwp2-ghc-8.10.7.drv",["out"]),("/gnu/store/wzn8ng20d1gl3rhycl631fzv4w8fqa1i-ghc-unordered-containers-0.2.14.0.drv",["out"]),("/gnu/store/x4g974pmb93ymxq5kd9bniqynia7f6dx-ghc-aeson-1.5.6.0.drv",["out"]),("/gnu/store/xsxxa8shlvczvncdb3hqf44j0ry7sv54-ld-wrapper-0.drv",["out"]),("/gnu/store/y0kd0q4zf5w996q3imc2g2cfspn95ipi-Agda-2.6.2.1.tar.gz.drv",["out"]),("/gnu/store/yzxpd5f0d39d61a8v1ywgzikf476p2wv-ghc-murmur-hash-0.1.0.9.drv",["out"])],["/gnu/store/apl1bixyans57mlirzv71f35phb79baf-module-import","/gnu/store/i85dy9jivz9rxmdzdy3dw565h3dngc1m-agda-2.6.2.1-builder"],"x86_64-linux","/gnu/store/1kws5vkl0glvpxg7arabsv6q9vazp0hx-guile-3.0.7/bin/guile",["--no-auto-compile","-L","/gnu/store/apl1bixyans57mlirzv71f35phb79baf-module-import","-C","/gnu/store/fnphwc3s5z2mkrm7mk4fd3xfb74shz67-module-import-compiled","/gnu/store/i85dy9jivz9rxmdzdy3dw565h3dngc1m-agda-2.6.2.1-builder"],[("out","/gnu/store/dz1lf03y543pn8vcwj34bbhlbq4kbana-agda-2.6.2.1"),("static","/gnu/store/m6ndr2z2iaam7kl06f70nny9nycnz0i8-agda-2.6.2.1-static")])