Derive([("out","/gnu/store/f5i76f23y1rwvd655k3zpsw39x64719b-agda-2.6.0.1","",""),("static","/gnu/store/3lf78s0jl9rxjbra8a38vl2635zhx0hn-agda-2.6.0.1-static","","")],[("/gnu/store/0pcmv0zf522zygfx9zijjhgnl5yl8wi4-gzip-1.10.drv",["out"]),("/gnu/store/0wak5v80r3aqvl8wv1fmkig638shnrhy-ghc-edisoncore-1.3.2.1.drv",["out"]),("/gnu/store/1qnahi2bcxsin7b1dsd7amy7pbi9h5ar-bzip2-1.0.8.drv",["out"]),("/gnu/store/1zhim028wcf7qkwaxgh1hmqa75wpxdnm-ghc-unordered-containers-0.2.10.0.drv",["out"]),("/gnu/store/37whdzh5s8v0z427flvh8ga61f784wda-ghc-geniplate-mirror-0.7.6.drv",["out"]),("/gnu/store/3xl0phvf5r8c2mdp2kc7pc4aafbmrj6f-ghc-exceptions-0.10.3.drv",["out"]),("/gnu/store/5iv1x8yvd7zv30pdgwgwf37rkc9vgbr3-Agda-2.6.0.1.tar.gz.drv",["out"]),("/gnu/store/606hcwg4rrpncd4x6x6w9cf93a9kpg12-binutils-2.34.drv",["out"]),("/gnu/store/7mj2xfdx96k8bj40r3wbbq08670flczr-ld-wrapper-0.drv",["out"]),("/gnu/store/7y6cwx15b5nhlcwl2cs49vnfmmhgpmzh-sed-4.8.drv",["out"]),("/gnu/store/9i77ibcvhv6aixg84hqw74lqpmdb72vs-ghc-async-2.2.2.drv",["out"]),("/gnu/store/a1rb7r9289c64102iz8qf8q0pas5cx8h-ghc-boxes-0.1.5.drv",["out"]),("/gnu/store/akkmdgxiz66c6dxbn6v16n6dv1zj6fbk-linux-libre-headers-5.4.20.drv",["out"]),("/gnu/store/c0y4zfhd9lfzfc0yzggfnqz5fqjz9yiz-ghc-blaze-html-0.9.1.2.drv",["out"]),("/gnu/store/cjrhgwjnzd5hgad2f02nmh37gi7k1ddc-ghc-gitrev-1.3.1.drv",["out"]),("/gnu/store/cqhba1wmz3dv5q1707ha2h7rwpwzylzw-xz-5.2.4.drv",["out"]),("/gnu/store/dydhjh88fmkrz1f6kjxm6k3pyxs3zkqc-guile-3.0.2.drv",["out"]),("/gnu/store/ffnxvzwygy7y9c37wj5llppq0j2nx72p-diffutils-3.7.drv",["out"]),("/gnu/store/fn6z0brlnnvf5im92xiyzgvcgd61fkp3-make-4.3.drv",["out"]),("/gnu/store/fydmangrjlkly28aqq6gvp789m86jgx1-ghc-zlib-0.6.2.1.drv",["out"]),("/gnu/store/ggwdvxh91q5qwzvy0lpj1jznbg5z850d-bash-minimal-5.0.16.drv",["out"]),("/gnu/store/h4sb7l3v3nhzxbrggizc7msdavcg2vyz-ghc-alex-3.2.4.drv",["out"]),("/gnu/store/h79walb0kdl2nzcpwdadcrc0gi0hc609-gcc-7.5.0.drv",["out"]),("/gnu/store/h7ipz4rhra10a7228slhnx0170ah9pvz-patch-2.7.6.drv",["out"]),("/gnu/store/hbkp0xz3x9dyvr6slfbri4p8bq2hvrk3-ghc-equivalence-0.3.5.drv",["out"]),("/gnu/store/hih2mvs7vhkcyk0hjijhcci5nxyr7qzw-ghc-aeson-1.4.5.0.drv",["out"]),("/gnu/store/hl44p4crd6wsgzfviy2rrlxiaz61kp83-ghc-hashable-1.2.7.0.drv",["out"]),("/gnu/store/i1nk5ffg5l279d8rqqkrw2srkqzy4zsa-ghc-filemanip-0.3.6.3.drv",["out"]),("/gnu/store/i2g65pf5v54wmz739nbh3va57x37hv5d-file-5.38.drv",["out"]),("/gnu/store/i3zy7la2x5az649a9a5rvap7p4rkbmkg-findutils-4.7.0.drv",["out"]),("/gnu/store/id7r63s7di932pcfxw483a975akha3wz-ghc-happy-1.19.12.drv",["out"]),("/gnu/store/js53liaq7z2hm1yqghhpcljalmbhrxpw-ghc-hashtables-1.2.3.4.drv",["out"]),("/gnu/store/k3ym3x5zxacjrrhic6v1ynnnp83gy3sc-ghc-8.6.5.drv",["out"]),("/gnu/store/kd4i7z0l5j5vbcp3hfy74f57gs1n7fjw-coreutils-8.32.drv",["out"]),("/gnu/store/l53m8zca8vvgvsvxfg7c5smar8fhr8pb-gawk-5.0.1.drv",["out"]),("/gnu/store/mv5fw5fmsay7in4ra4vmpvn8140zq51y-ghc-murmur-hash-0.1.0.9.drv",["out"]),("/gnu/store/nmww4r7y92bixm0p0svz37dn7ian1irb-tar-1.32.drv",["out"]),("/gnu/store/pvy8lnj9psp794k0b18q53l0dm85ljwb-module-import-compiled.drv",["out"]),("/gnu/store/rdm815xk0n8mk195l3fy8j6wmrjkyim7-ghc-edit-distance-0.2.2.1.drv",["out"]),("/gnu/store/rn9cj9m7k3swyc2n7df32vcr7y2mhqli-ghc-ieee754-0.8.0.drv",["out"]),("/gnu/store/rqgnpsvfg21f1dja04qbglqpkchl7zzq-ghc-uri-encode-1.5.0.5.drv",["out"]),("/gnu/store/sf1s9l1nh1qdcr4811bd502gddr1zh7l-ghc-strict-0.3.2.drv",["out"]),("/gnu/store/vqy8jzf2mm7arljgmximd9rx7yb4a28p-glibc-utf8-locales-2.31.drv",["out"]),("/gnu/store/wskkvvk3ajd86dgsq3szmg2k4sgn13v1-ghc-data-hash-0.2.0.1.drv",["out"]),("/gnu/store/x1ax1gfh9llsafvlwkggz9kgmgx60h3g-ghc-regex-tdfa-1.2.3.2.drv",["out"]),("/gnu/store/xhdvxb8bn0yqydzr25nyv87dkwz5ay0k-glibc-2.31.drv",["out","static"]),("/gnu/store/z6rplk2fq72whrmhr2pbb8s3dqjba11q-grep-3.4.drv",["out"])],["/gnu/store/7dp8ap2sfv338zw4sbva7n0nqn78m6vq-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/7dp8ap2sfv338zw4sbva7n0nqn78m6vq-agda-2.6.0.1-guile-builder"],[("GUILE_LOAD_COMPILED_PATH","/gnu/store/jc36vvy1yzkhzaf3zijh56sbcx227izk-module-import-compiled"),("out","/gnu/store/f5i76f23y1rwvd655k3zpsw39x64719b-agda-2.6.0.1"),("static","/gnu/store/3lf78s0jl9rxjbra8a38vl2635zhx0hn-agda-2.6.0.1-static")])