Derive([("out","/gnu/store/c5lsp7d8g6nfg525kvmwl94pqmmrgz8f-agda-2.6.0.1","",""),("static","/gnu/store/dk1fjamygbi2divgs6p0hsf3bh1rqpsh-agda-2.6.0.1-static","","")],[("/gnu/store/0xkvrf0f7kc5pjanpi0wm7f54ry8i1as-binutils-2.34.drv",["out"]),("/gnu/store/1838v8ss6rzwl9g71m60br9vb5srr9ah-ghc-unordered-containers-0.2.10.0.drv",["out"]),("/gnu/store/1ffypg3jdfzp2y92hbc9dq14h2xk3njn-grep-3.4.drv",["out"]),("/gnu/store/2jn9g9bf6xp9nixj0p9wij6j8z01wyd3-ghc-alex-3.2.4.drv",["out"]),("/gnu/store/306zhyzppwbps0y9r0nna6xdvv7c7m0r-Agda-2.6.0.1.tar.gz.drv",["out"]),("/gnu/store/3nl79cwh6ndz886qiclrzdqyk0mv5yac-gawk-5.0.1.drv",["out"]),("/gnu/store/3svqfkl6gf1zvnwzdjql9ijmc6ckkacq-ghc-murmur-hash-0.1.0.9.drv",["out"]),("/gnu/store/3ykv18nyg4m8rqkipalr75sf9z5agcvj-ghc-filemanip-0.3.6.3.drv",["out"]),("/gnu/store/44b77nkr15ymb2xzls9df2vdwxgra8n4-bzip2-1.0.8.drv",["out"]),("/gnu/store/4y1i8i3lf5ms1bpdkq5w293pczd7g45n-ghc-happy-1.19.12.drv",["out"]),("/gnu/store/5pv6fvqf28yljh6xy1v050zm7fv9qp7l-ghc-hashtables-1.2.3.4.drv",["out"]),("/gnu/store/5ri6vdrvs39pnmxcpjq05blh6kb9skcy-ghc-8.6.5.drv",["out"]),("/gnu/store/5y6k19nxs9y058s3439qb4r2n6zs0plm-glibc-utf8-locales-2.31.drv",["out"]),("/gnu/store/6a2f0hxrfgj29wjv836w2f7011nxcm8i-guile-3.0.2.drv",["out"]),("/gnu/store/6xc234jkaf3l3yy4lhn2mwbnwl7284w9-file-5.38.drv",["out"]),("/gnu/store/7yyr1f2f7xqcxab1jls00fadd9n4rlfx-diffutils-3.7.drv",["out"]),("/gnu/store/8pgrm0cxl4x01bkanybf5gpck84l44pq-ghc-exceptions-0.10.3.drv",["out"]),("/gnu/store/9rdm3xdf06kjwd6r4j0ndb8lj5j2zcz9-patch-2.7.6.drv",["out"]),("/gnu/store/ax3j401bbh4j1ggib11xiqy7jaggn17p-ghc-blaze-html-0.9.1.2.drv",["out"]),("/gnu/store/b0z8ar3yn9zmdmg2ps75nmsiy4zxn309-ghc-async-2.2.2.drv",["out"]),("/gnu/store/b4l0hn86hh1rqb0jff592n3zisgsr0i0-ghc-equivalence-0.3.5.drv",["out"]),("/gnu/store/bqyq7iykfcq4p4wd9knnwgq6vp5z12m8-ghc-strict-0.3.2.drv",["out"]),("/gnu/store/clfdaygidimi2wycpaym0a4vfdc75aj8-ghc-data-hash-0.2.0.1.drv",["out"]),("/gnu/store/cw09r6ljgwzmys7509p03a7h8szk7n9s-sed-4.8.drv",["out"]),("/gnu/store/dcr7vsp3dclcmg4jdfxkm2x45w3bqcdi-coreutils-8.32.drv",["out"]),("/gnu/store/fsplzmdids1qk9ij91zijh94ld52i0f0-findutils-4.7.0.drv",["out"]),("/gnu/store/fwk8ny37dxz7f82kpv8r3q3lw7bnlyzy-ghc-zlib-0.6.2.1.drv",["out"]),("/gnu/store/g3v32hfzwwyd38a0w5wnh2xvcwixpkwb-tar-1.32.drv",["out"]),("/gnu/store/gqwmxmpgwizs0qyx7hz8wadwzq4x0kqf-ld-wrapper-0.drv",["out"]),("/gnu/store/i9c0ixlrv6v8smg0zp3vzcdf0cv9ipby-gzip-1.10.drv",["out"]),("/gnu/store/jjnryda37bsa0x6nv2m3p1w1karx69j5-xz-5.2.4.drv",["out"]),("/gnu/store/kvrm6rsrvw44nq0a3al9nfqd1llxx20i-ghc-hashable-1.2.7.0.drv",["out"]),("/gnu/store/lbyph0yh20rhkv4asp6fbzdyh7aklqh8-ghc-edit-distance-0.2.2.1.drv",["out"]),("/gnu/store/p069jng9cfi2w9cp5331qygf0ii00gnm-ghc-gitrev-1.3.1.drv",["out"]),("/gnu/store/pfc7xy217pn68gy5wf7gkm2qn5clvq15-ghc-regex-tdfa-1.2.3.2.drv",["out"]),("/gnu/store/qb0zdplafm5shk606ag2kr5vs9nqc3qp-ghc-geniplate-mirror-0.7.6.drv",["out"]),("/gnu/store/qq6hlgjiyqx6m4zyj8ccp1ryinpzlsl1-module-import-compiled.drv",["out"]),("/gnu/store/r0di7nvszw701963qkv0wg3hlc3y7v3b-glibc-2.31.drv",["out","static"]),("/gnu/store/ribas3q2z7gakk76m7ph2cp2qnd5p1jj-ghc-uri-encode-1.5.0.5.drv",["out"]),("/gnu/store/skk9bsjhy18zngdxx34isv1ancb4r8zd-gcc-7.5.0.drv",["out"]),("/gnu/store/v61vdxzjkandmzw0bwd5w5clz32gjj1b-make-4.3.drv",["out"]),("/gnu/store/w0kmv353ph5ny67ab1ynix3d5iv1qnwl-linux-libre-headers-5.4.20.drv",["out"]),("/gnu/store/wqp4afj6b7by16cqpkld2vfd0z4sbcgr-ghc-aeson-1.4.5.0.drv",["out"]),("/gnu/store/xd5h6vw5gn18n75rzcfq4mfr71ji851d-ghc-boxes-0.1.5.drv",["out"]),("/gnu/store/yc8dc970h9lsav1ib0pfnphz4vsfqlgx-bash-minimal-5.0.16.drv",["out"]),("/gnu/store/z5p920a3d0kc8ph6h1i0wr7x36s3dvlr-ghc-edisoncore-1.3.2.1.drv",["out"]),("/gnu/store/zi4yax7pyk74m69x640dkb5q9b5d3iw7-ghc-ieee754-0.8.0.drv",["out"])],["/gnu/store/js0hi0a03b0hbnwm1czyqf2ch5pmp71h-module-import","/gnu/store/ms0573nni504sy39admmri8fdkk9qd3m-agda-2.6.0.1-guile-builder"],"powerpc64le-linux","/gnu/store/b0b0qp5lwhwxfrav1bxrq3d9y4iz5f77-guile-3.0.2/bin/guile",["--no-auto-compile","-L","/gnu/store/js0hi0a03b0hbnwm1czyqf2ch5pmp71h-module-import","/gnu/store/ms0573nni504sy39admmri8fdkk9qd3m-agda-2.6.0.1-guile-builder"],[("GUILE_LOAD_COMPILED_PATH","/gnu/store/pcp8fykfz2ms94cxdspajlmvlp9v8f2z-module-import-compiled"),("out","/gnu/store/c5lsp7d8g6nfg525kvmwl94pqmmrgz8f-agda-2.6.0.1"),("static","/gnu/store/dk1fjamygbi2divgs6p0hsf3bh1rqpsh-agda-2.6.0.1-static")])