Derive([("out","/gnu/store/f5i76f23y1rwvd655k3zpsw39x64719b-agda-2.6.0.1","",""),("static","/gnu/store/3lf78s0jl9rxjbra8a38vl2635zhx0hn-agda-2.6.0.1-static","","")],[("/gnu/store/0amk5z76s4hs1b03jkbmhmn8l7wq6i2x-ghc-murmur-hash-0.1.0.9.drv",["out"]),("/gnu/store/0j1578m8swsqda51z6pydfdln69194zw-ghc-hashable-1.2.7.0.drv",["out"]),("/gnu/store/2cf4qnawvh2nip8chkj63b2s48n4zx31-ghc-strict-0.3.2.drv",["out"]),("/gnu/store/2k445k63r7xh1f93skihg5dky2ixhq8l-linux-libre-headers-5.4.20.drv",["out"]),("/gnu/store/33vhrxwmnwbm0zgrs2g4nxdf392vyi6c-ghc-edit-distance-0.2.2.1.drv",["out"]),("/gnu/store/3cfx7gsdcj3vh03p4jqn6dg7x2y0b4mb-Agda-2.6.0.1.tar.gz.drv",["out"]),("/gnu/store/3cxrxj66f0ig3srx2hvisf9lhh036ka6-ghc-blaze-html-0.9.1.2.drv",["out"]),("/gnu/store/3sy9in1qmwxd85g1d2465k1lwaljrlbp-make-4.3.drv",["out"]),("/gnu/store/3x4y56j3333cpn1xicprq4n924y5fy2s-binutils-2.34.drv",["out"]),("/gnu/store/5ws4db9g15wm644jdyd7nxq0s5gq7bh3-ghc-uri-encode-1.5.0.5.drv",["out"]),("/gnu/store/6h5hp5kbnf38fcw56pchj10kfi86bg8a-gawk-5.0.1.drv",["out"]),("/gnu/store/6hpmkkx03m9kv9xfrln6wpcl131fn14s-tar-1.32.drv",["out"]),("/gnu/store/6xjx5xl2a99hh03m3mggzr5530zjm8rp-ghc-hashtables-1.2.3.4.drv",["out"]),("/gnu/store/7jbrjsrkfzig945gwpxxiac5kvqpdbvf-ghc-zlib-0.6.2.1.drv",["out"]),("/gnu/store/agn5j1xskvx351m5qblinsh3mp0dqiv3-ghc-regex-tdfa-1.2.3.2.drv",["out"]),("/gnu/store/c4p67ivaiybw7y9c0qflkrqif2bih1qk-ghc-8.6.5.drv",["out"]),("/gnu/store/czixn0aq6kipf5gbj5y0123h9jalvqwr-bzip2-1.0.8.drv",["out"]),("/gnu/store/dzy1s5bz5ph4ffryjgabb207m17z3fhm-glibc-utf8-locales-2.31.drv",["out"]),("/gnu/store/fmclhk18ac08jsavq324398cjqwy5s1z-ghc-happy-1.19.12.drv",["out"]),("/gnu/store/gddq69p9jjsgp167x01y1r3kcqnwrpf2-ghc-exceptions-0.10.3.drv",["out"]),("/gnu/store/h0isabki773mqmm8z28rmb8d4waxdzb3-coreutils-8.32.drv",["out"]),("/gnu/store/h31w6794g5ipjx5d6f1c97lwlxd0b4nx-ghc-data-hash-0.2.0.1.drv",["out"]),("/gnu/store/h55wfs803lj8nv0hrzvkd1zpvdm19iia-gzip-1.10.drv",["out"]),("/gnu/store/h7asrjyx8zbrvpq6yiq5cbzgc5mqidil-ghc-gitrev-1.3.1.drv",["out"]),("/gnu/store/hiwshlpi0m96alsi568adwa3b6ssw5pv-sed-4.8.drv",["out"]),("/gnu/store/hzxiysvpw6m4s4ca0i6a46v22jjf95gn-ghc-unordered-containers-0.2.10.0.drv",["out"]),("/gnu/store/j4arvhyr9j8xnfq8hiybrk6xvnp0mzha-ghc-aeson-1.4.5.0.drv",["out"]),("/gnu/store/j5x9q9rii8sz2p7s1nvi014yam1lw632-guile-3.0.2.drv",["out"]),("/gnu/store/jl4zp4ys732pw6lwh77vslsydd3w3xpd-ghc-equivalence-0.3.5.drv",["out"]),("/gnu/store/lg7mzp4hpw72vywcphmbz1lib0ywk6s1-ghc-filemanip-0.3.6.3.drv",["out"]),("/gnu/store/liclihlk81jlgswy8r3jp4ljhp2gyc7f-ghc-ieee754-0.8.0.drv",["out"]),("/gnu/store/m956gnyhzd77ay6w0b37wqr92925vmwv-ghc-async-2.2.2.drv",["out"]),("/gnu/store/mbbx5gdp01jh9fdfnzihpls3dni3khqc-ld-wrapper-0.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/qn1gfvx3rqkyjbh8qv9x4lh6bdcrl558-ghc-boxes-0.1.5.drv",["out"]),("/gnu/store/rfx3ryjc4wn2a9f3p4qb8lqkpi5s048r-gcc-7.5.0.drv",["out"]),("/gnu/store/ry7z3knyaqjn6di3ly80v971hqiaawfa-ghc-geniplate-mirror-0.7.6.drv",["out"]),("/gnu/store/s24xmviahaq0kq6qhzlp77718rd52603-ghc-alex-3.2.4.drv",["out"]),("/gnu/store/vwlx3alsqlwvm7z0lnvg80dbqshc0y6z-module-import-compiled.drv",["out"]),("/gnu/store/wp0gcydir135pai5fvf4jdpabk61mi7f-glibc-2.31.drv",["out","static"]),("/gnu/store/wx6ij6mlhr6c1cpj1mnr0jbwv408srqs-ghc-edisoncore-1.3.2.1.drv",["out"]),("/gnu/store/wzzjxz43x1b3vmvp8y3n51nn9j28v40b-grep-3.4.drv",["out"]),("/gnu/store/yiqlhq54vgmi7df96ssdzln92c5vbivm-bash-minimal-5.0.16.drv",["out"]),("/gnu/store/zqfchhgl0l0pj3rybhg3dgmgkyyscdfm-diffutils-3.7.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")])