Derive([("out","/gnu/store/x467niz3dl88k2cyx236pi0ds6nhp5nl-agda-2.6.0.1","",""),("static","/gnu/store/pvlwbsm7r8flj0b0grhf2xq61rxxyii0-agda-2.6.0.1-static","","")],[("/gnu/store/0a2k5ds6q95fsvghdmsg99cmyq7vng18-ghc-filemanip-0.3.6.3.drv",["out"]),("/gnu/store/1xkybzq322wprafy45jb874ypy8fqawz-ld-wrapper-0.drv",["out"]),("/gnu/store/3pp1hdv6pdjcrfg4j86v21gmxw16k4mc-glibc-utf8-locales-2.31.drv",["out"]),("/gnu/store/4c1vvcd3ljx94ikx1zjg1yaa00zprk7m-ghc-murmur-hash-0.1.0.9.drv",["out"]),("/gnu/store/4d164cyy86wldi0ad79y5kpvqdqmhjyi-xz-5.2.4.drv",["out"]),("/gnu/store/4q6wrcnq1kwf397jws7x0kgid1wn7ads-ghc-boxes-0.1.5.drv",["out"]),("/gnu/store/6j26ig274kwjk8q2lxsymfc617flyc13-ghc-strict-0.3.2.drv",["out"]),("/gnu/store/6k6kpnyz0bjfpx7a166mf80r5kcz09wb-make-4.3.drv",["out"]),("/gnu/store/8fcfkc7p5rj8lvam3zswkfsrhanx6rd2-ghc-alex-3.2.4.drv",["out"]),("/gnu/store/8lydxs94wywvl1p4y02b0zvlgr238ij6-tar-1.32.drv",["out"]),("/gnu/store/a95v89mkv3q8qy1sjnmg0kj06yyg7f64-ghc-unordered-containers-0.2.10.0.drv",["out"]),("/gnu/store/avwgw0m0w4s8z65l30srnmlmcgzkgclf-ghc-hashtables-1.2.3.4.drv",["out"]),("/gnu/store/dlv70ny2yn19pg0c9pcv4flbpznzb2f6-Agda-2.6.0.1.tar.gz.drv",["out"]),("/gnu/store/dsa1bnralynqj691k8m44m2634p5vzfm-ghc-blaze-html-0.9.1.2.drv",["out"]),("/gnu/store/dxq4pywr7lgh3dd43ib22hfpj34friya-bash-minimal-5.0.16.drv",["out"]),("/gnu/store/f5vscmzihgcv875jvhd71fcb83swf23s-binutils-2.34.drv",["out"]),("/gnu/store/fvji4kh1kml081gyk2siyqvfp21cgynk-findutils-4.7.0.drv",["out"]),("/gnu/store/h0nkfy14kwnjn4fq002scym0j7321vk9-bzip2-1.0.8.drv",["out"]),("/gnu/store/hmqzqd54gmcfa4z6zhz55i2dg99ga74z-gzip-1.10.drv",["out"]),("/gnu/store/jywk98h73vi46alr74zwfkcr7srky6ln-diffutils-3.7.drv",["out"]),("/gnu/store/l15r4n7ba7vfb24r1ccapz8xii760bjv-ghc-data-hash-0.2.0.1.drv",["out"]),("/gnu/store/ma97vwnwmapvrq8lvgcxycxqgc8cbph1-glibc-2.31.drv",["out","static"]),("/gnu/store/mjvg6nxb0byddj1ggrfx6qnrc8n1jdbi-ghc-gitrev-1.3.1.drv",["out"]),("/gnu/store/nbzm7fhznqxlqgxqgr6ip9a504ih2gl8-ghc-regex-tdfa-1.2.3.2.drv",["out"]),("/gnu/store/p5cgxp9h3amib7rddrykhfkvlp8zr1l2-ghc-uri-encode-1.5.0.5.drv",["out"]),("/gnu/store/pb4igk4iw823mlhsvwr4ncxjjys3lq68-linux-libre-headers-5.4.20.drv",["out"]),("/gnu/store/pds4dikcr3g1frr4259rc4rihwps7hgw-ghc-equivalence-0.3.5.drv",["out"]),("/gnu/store/pgz18qpjbf27rrbfz6h154jhc9fbpsg8-ghc-edisoncore-1.3.2.1.drv",["out"]),("/gnu/store/pmb8v2is67fsfr470dgdr3sbn73zkv9n-grep-3.4.drv",["out"]),("/gnu/store/s15a6cvbwsavsaj24xy1qhfnacf6sa9r-ghc-happy-1.19.12.drv",["out"]),("/gnu/store/s3kjl3v3mg3mjw0qkypq6a7nbnaqbjls-ghc-exceptions-0.10.3.drv",["out"]),("/gnu/store/s6nx6pka9hv7jbsx3fp3aq5czj9l6na9-file-5.38.drv",["out"]),("/gnu/store/slls006wn13cpl3s3s6fxsqs802kb5wx-ghc-async-2.2.2.drv",["out"]),("/gnu/store/syzg38yfdy2543rlcwssrphyljax0jnj-guile-3.0.2.drv",["out"]),("/gnu/store/szr82d28i2gxh2axqnvvlg9689dp6jd1-module-import-compiled.drv",["out"]),("/gnu/store/vvifw8172winzpmin8a67ckiimp0c9bv-sed-4.8.drv",["out"]),("/gnu/store/wq019b5m66gl8vzvb9rga3y9ympasjgi-ghc-aeson-1.4.5.0.drv",["out"]),("/gnu/store/wvqxzg3sn9piwhim3m228vakc7yadkgv-ghc-ieee754-0.8.0.drv",["out"]),("/gnu/store/x6c5d3la5jcxp9bqnsdjridczhkys4ps-gcc-7.5.0.drv",["out"]),("/gnu/store/xdmn50clrjc1cdvjpgqhi5w9xjwhikzv-ghc-8.6.5.drv",["out"]),("/gnu/store/xhv4xdd0r6bbnxadf390x52x18423q19-gawk-5.0.1.drv",["out"]),("/gnu/store/y9d49g4lx136hi7mbw7j10d2fcv5pcy5-ghc-hashable-1.2.7.0.drv",["out"]),("/gnu/store/ybz77dvs5pf55sq7czjvmfxym8dprhs2-ghc-zlib-0.6.2.1.drv",["out"]),("/gnu/store/yh9sirb1ykaznlnkmgqkjni1zjbm738p-ghc-edit-distance-0.2.2.1.drv",["out"]),("/gnu/store/yhs61h0iydpayvja1bs4l73ybfb30mk4-patch-2.7.6.drv",["out"]),("/gnu/store/yrjdsqi8h25jmnvx5k8m5z94839bp6mz-coreutils-8.32.drv",["out"]),("/gnu/store/zx90mmq8xqg3dli0nlpxdakm6zr44ywh-ghc-geniplate-mirror-0.7.6.drv",["out"])],["/gnu/store/js0hi0a03b0hbnwm1czyqf2ch5pmp71h-module-import","/gnu/store/zcvpfvklachh4p3jqc5a5p2gjnsxr1xh-agda-2.6.0.1-guile-builder"],"mips64el-linux","/gnu/store/f855x7hpmrxp5niaalx344h5p2v8i5zh-guile-3.0.2/bin/guile",["--no-auto-compile","-L","/gnu/store/js0hi0a03b0hbnwm1czyqf2ch5pmp71h-module-import","/gnu/store/zcvpfvklachh4p3jqc5a5p2gjnsxr1xh-agda-2.6.0.1-guile-builder"],[("GUILE_LOAD_COMPILED_PATH","/gnu/store/vk8pdddyasr4b7hsw0iizrxm20jzfd0j-module-import-compiled"),("out","/gnu/store/x467niz3dl88k2cyx236pi0ds6nhp5nl-agda-2.6.0.1"),("static","/gnu/store/pvlwbsm7r8flj0b0grhf2xq61rxxyii0-agda-2.6.0.1-static")])