Derive([("out","/gnu/store/klbss5xryhp962q9761kawyjjq0fv9mg-agda-2.6.0.1","",""),("static","/gnu/store/s1azr8qb2zf0mk7lwx8yvj6x7lvpq72y-agda-2.6.0.1-static","","")],[("/gnu/store/091plrdhfr1f36pgps0gxarxws54x5w6-ghc-data-hash-0.2.0.1.drv",["out"]),("/gnu/store/0ybf0fhy5gf5ky4f5q3xyv4x06xl6afm-ghc-murmur-hash-0.1.0.9.drv",["out"]),("/gnu/store/1swb9x8ngr1ipqp3ifmhzg60gnpqzcl4-ghc-ieee754-0.8.0.drv",["out"]),("/gnu/store/2k445k63r7xh1f93skihg5dky2ixhq8l-linux-libre-headers-5.4.20.drv",["out"]),("/gnu/store/35mxz11lcp2imspdgmqby5gfjygxvs5v-ghc-boxes-0.1.5.drv",["out"]),("/gnu/store/3cfx7gsdcj3vh03p4jqn6dg7x2y0b4mb-Agda-2.6.0.1.tar.gz.drv",["out"]),("/gnu/store/3sy9in1qmwxd85g1d2465k1lwaljrlbp-make-4.3.drv",["out"]),("/gnu/store/3x4y56j3333cpn1xicprq4n924y5fy2s-binutils-2.34.drv",["out"]),("/gnu/store/43w3lrdcmngm2md33fqm880nbmfbyd33-ghc-blaze-html-0.9.1.2.drv",["out"]),("/gnu/store/4jwxyydbg4hliq8pzg539zpqf6vhyy2q-ghc-hashtables-1.2.3.4.drv",["out"]),("/gnu/store/4wnfs568zcmrj1lvcc49m8jznq1gckjd-ghc-async-2.2.2.drv",["out"]),("/gnu/store/6fcr8zb87z85j7k6876iwzcjq957p5qv-ghc-edisoncore-1.3.2.1.drv",["out"]),("/gnu/store/6h5hp5kbnf38fcw56pchj10kfi86bg8a-gawk-5.0.1.drv",["out"]),("/gnu/store/6hpmkkx03m9kv9xfrln6wpcl131fn14s-tar-1.32.drv",["out"]),("/gnu/store/a47rlhymdw0bgy6qld6rw4n23gfxrrx9-ghc-exceptions-0.10.3.drv",["out"]),("/gnu/store/bwk5sbvypc4p6mnm15hz8wlwrz029r61-ghc-alex-3.2.4.drv",["out"]),("/gnu/store/czixn0aq6kipf5gbj5y0123h9jalvqwr-bzip2-1.0.8.drv",["out"]),("/gnu/store/dzy1s5bz5ph4ffryjgabb207m17z3fhm-glibc-utf8-locales-2.31.drv",["out"]),("/gnu/store/f190nk2x3qaa9hwwxx0brna3k9cpd7b2-ghc-uri-encode-1.5.0.5.drv",["out"]),("/gnu/store/fppqc9iw8g7zpqnc2zhqzka6sqz0s94m-ghc-edit-distance-0.2.2.1.drv",["out"]),("/gnu/store/h0isabki773mqmm8z28rmb8d4waxdzb3-coreutils-8.32.drv",["out"]),("/gnu/store/h55wfs803lj8nv0hrzvkd1zpvdm19iia-gzip-1.10.drv",["out"]),("/gnu/store/hiwshlpi0m96alsi568adwa3b6ssw5pv-sed-4.8.drv",["out"]),("/gnu/store/hlz52shzpjgrl5jaa1ykf2y8aly6g660-ghc-geniplate-mirror-0.7.6.drv",["out"]),("/gnu/store/i6addd5daqcqdxllwfn0c8rb2966zwzw-ghc-filemanip-0.3.6.3.drv",["out"]),("/gnu/store/j5x9q9rii8sz2p7s1nvi014yam1lw632-guile-3.0.2.drv",["out"]),("/gnu/store/klsc003p5xdakgnr4wpax34i347gjzl4-ghc-happy-1.19.12.drv",["out"]),("/gnu/store/mbbx5gdp01jh9fdfnzihpls3dni3khqc-ld-wrapper-0.drv",["out"]),("/gnu/store/n42xnz7i2k7rbrmsnh34qrl9p94xhvca-ghc-8.6.5.drv",["out"]),("/gnu/store/namlywf4v014381z55jgi4wvcr6xwq9n-file-5.38.drv",["out"]),("/gnu/store/ncz226r51avbd33yzxiv28z8zhzy0zgw-patch-2.7.6.drv",["out"]),("/gnu/store/nmvjr75ldd6qkaw13y7yzmqk288rn6pc-xz-5.2.4.drv",["out"]),("/gnu/store/pb0rpvb4c4xr1knbrhb6k4xn3kz5smjh-findutils-4.7.0.drv",["out"]),("/gnu/store/r0p2hcav81c0yv8b6bc950d93ssh4rxf-ghc-regex-tdfa-1.2.3.2.drv",["out"]),("/gnu/store/rf3jpnx2x31ycrj2l9mnn20bqva6abbp-ghc-aeson-1.4.5.0.drv",["out"]),("/gnu/store/rfx3ryjc4wn2a9f3p4qb8lqkpi5s048r-gcc-7.5.0.drv",["out"]),("/gnu/store/ris3y7b8g5amk0qk83s0xa3rxzi163q4-ghc-strict-0.3.2.drv",["out"]),("/gnu/store/sjcn69qaq2mnwg29q8b9xja0ps8m7pzh-ghc-unordered-containers-0.2.10.0.drv",["out"]),("/gnu/store/sqmd5bls5i64xcwizm3hl1xrp6x89qas-ghc-zlib-0.6.2.1.drv",["out"]),("/gnu/store/syjxqcdh5xsqn7pc03s0n14pnxb2fml4-ghc-hashable-1.2.7.0.drv",["out"]),("/gnu/store/vwlx3alsqlwvm7z0lnvg80dbqshc0y6z-module-import-compiled.drv",["out"]),("/gnu/store/wp0gcydir135pai5fvf4jdpabk61mi7f-glibc-2.31.drv",["out","static"]),("/gnu/store/wzzjxz43x1b3vmvp8y3n51nn9j28v40b-grep-3.4.drv",["out"]),("/gnu/store/xggjaah9f91ji88pdq5fs0k8n82wkrjj-ghc-gitrev-1.3.1.drv",["out"]),("/gnu/store/y427myyl9ghnkjsbjls9rl1m697xv7kb-ghc-equivalence-0.3.5.drv",["out"]),("/gnu/store/yiqlhq54vgmi7df96ssdzln92c5vbivm-bash-minimal-5.0.16.drv",["out"]),("/gnu/store/zqfchhgl0l0pj3rybhg3dgmgkyyscdfm-diffutils-3.7.drv",["out"])],["/gnu/store/6mphhd1a33vhgfcyzik08zh0vp5aslw4-agda-2.6.0.1-guile-builder","/gnu/store/js0hi0a03b0hbnwm1czyqf2ch5pmp71h-module-import"],"armhf-linux","/gnu/store/lgk876wh2bxxglplbwyymkx3sqzcbnk9-guile-3.0.2/bin/guile",["--no-auto-compile","-L","/gnu/store/js0hi0a03b0hbnwm1czyqf2ch5pmp71h-module-import","/gnu/store/6mphhd1a33vhgfcyzik08zh0vp5aslw4-agda-2.6.0.1-guile-builder"],[("GUILE_LOAD_COMPILED_PATH","/gnu/store/jc36vvy1yzkhzaf3zijh56sbcx227izk-module-import-compiled"),("out","/gnu/store/klbss5xryhp962q9761kawyjjq0fv9mg-agda-2.6.0.1"),("static","/gnu/store/s1azr8qb2zf0mk7lwx8yvj6x7lvpq72y-agda-2.6.0.1-static")])