Derive([("out","/gnu/store/rjx035avfrby0bc1sqxxn1n2zi2sqkmk-agda-2.6.0.1","",""),("static","/gnu/store/kcix2xj8pq2gwz86dbd6yl7hy53w6nak-agda-2.6.0.1-static","","")],[("/gnu/store/04k7w4k81kajxzdh0qlk5a9dgwyzs6dp-ghc-hashable-1.2.7.0.drv",["out"]),("/gnu/store/0qrb26amjicd885pdsgp6a5bxa4chwqh-gzip-1.10.drv",["out"]),("/gnu/store/12ipmqgsab5kigvkamyxk4rjrjsw5ps7-ghc-equivalence-0.3.5.drv",["out"]),("/gnu/store/1chr3w715c6b479y7jxclzp1ykvbd7gm-ghc-unordered-containers-0.2.10.0.drv",["out"]),("/gnu/store/2favpyd919n2gqi5zr4d1lj8ach6skym-ghc-gitrev-1.3.1.drv",["out"]),("/gnu/store/332ifx5kikz5307krcw8zb2apciddzx0-binutils-2.34.drv",["out"]),("/gnu/store/529hahxylma7f1s5vsq3j7pjgxfhxq8r-ghc-exceptions-0.10.3.drv",["out"]),("/gnu/store/57rhddi0r0cm4acz51b5f0f9y5gawkmy-ghc-boxes-0.1.5.drv",["out"]),("/gnu/store/5adfkpad8prlyy32grcfdmngh2r02r18-glibc-2.31.drv",["out","static"]),("/gnu/store/5x45nzmp5iylz1640w1zs7ll5w4d4606-ghc-zlib-0.6.2.1.drv",["out"]),("/gnu/store/691n5wh4p4zqckww5iwshnm7qrp67s93-ghc-async-2.2.2.drv",["out"]),("/gnu/store/8644vsr6klgxrm3kagiqx3l7dh9na74f-ghc-blaze-html-0.9.1.2.drv",["out"]),("/gnu/store/8g21jw7yfiqa62qlf0324c7b4vxk53xx-grep-3.4.drv",["out"]),("/gnu/store/97v0hr1x88b92v6jv2izpm99dlw5cpgf-ghc-data-hash-0.2.0.1.drv",["out"]),("/gnu/store/9agap9a53fqf94mk2yqv8r1vws084l6j-make-4.3.drv",["out"]),("/gnu/store/adqnz1nlb81dwmgrlg3v1lgckzxfnc3s-ghc-edit-distance-0.2.2.1.drv",["out"]),("/gnu/store/ammwirwb8a0v1zpfrzfpgrbsahg0aixc-diffutils-3.7.drv",["out"]),("/gnu/store/aqgawymm295qmszgigwfcznbvd6ykx6l-ghc-uri-encode-1.5.0.5.drv",["out"]),("/gnu/store/b5g41pw51yd96074sbkb4gvgz0y07wvi-glibc-utf8-locales-2.31.drv",["out"]),("/gnu/store/b8ss613vh4v2l86gz8s0vy550h6r5zi1-coreutils-8.32.drv",["out"]),("/gnu/store/cfqcbq495wzr1vmz5ayspqkzpixpbzvc-ghc-aeson-1.4.5.0.drv",["out"]),("/gnu/store/dz4vqd5myqr5y5y583iqgnalwqv7qpfb-ghc-ieee754-0.8.0.drv",["out"]),("/gnu/store/f6nk8zlgn35cv262xpx6zqk80a2grgih-ghc-geniplate-mirror-0.7.6.drv",["out"]),("/gnu/store/gifv3lbd7fr35w4022z4dnr4ns9jgbbz-gawk-5.0.1.drv",["out"]),("/gnu/store/hpwhsn6znk53vf27mcskx327jdndy1in-ghc-alex-3.2.4.drv",["out"]),("/gnu/store/i2kx3sphb1a3i446jicks7by2w6qvnaf-ghc-8.6.5.drv",["out"]),("/gnu/store/i63fnll4hdih4zqbs180g551bkjp318s-Agda-2.6.0.1.tar.gz.drv",["out"]),("/gnu/store/ii9mscyv5c2y2xd2w2y6n5mg3rx34zbs-ghc-happy-1.19.12.drv",["out"]),("/gnu/store/il7ahrzrck57qw71gwjvrgapj2wbdpx6-hurd-core-headers-0.9-1.91a5167.drv",["out"]),("/gnu/store/ixl6vwv2a1hjngmf6j54603mqhpsgvrv-ld-wrapper-0.drv",["out"]),("/gnu/store/k7248qhhxn00d1rrpsq42bih5xm7w4ii-ghc-strict-0.3.2.drv",["out"]),("/gnu/store/lnsy65a55jbr1vk6aq4b7k3q7ajz6ll0-guile-3.0.2.drv",["out"]),("/gnu/store/n56za411720shh9qsdj2g120i53qzvz9-bash-minimal-5.0.16.drv",["out"]),("/gnu/store/nv8723zrjd97lwgz8zld1lrlq1hym073-sed-4.8.drv",["out"]),("/gnu/store/pfcyy7396j341q1aglkh74nr71myvfsl-xz-5.2.4.drv",["out"]),("/gnu/store/pj3b0380r0a86kygvyqvp7i9jqgdvg5n-ghc-filemanip-0.3.6.3.drv",["out"]),("/gnu/store/pqk01lgdbdqp3srasigcv7di7gihd683-findutils-4.7.0.drv",["out"]),("/gnu/store/q4wxnn5sg7rjhkhwdrjw6kbd91vqciim-patch-2.7.6.drv",["out"]),("/gnu/store/q7x10n29wpxj5xgaz0lbkwa5hgi43fki-ghc-edisoncore-1.3.2.1.drv",["out"]),("/gnu/store/qvanawn7bizvg5sdqcwrc1im0mp0fk1j-ghc-regex-tdfa-1.2.3.2.drv",["out"]),("/gnu/store/rmkb61pryzna5b16dg41jdb5n327ikzj-ghc-murmur-hash-0.1.0.9.drv",["out"]),("/gnu/store/sd2b1270zqsk83jcq42mnzcn33l436pq-file-5.38.drv",["out"]),("/gnu/store/wimgnaf94a11v3r3bdzn7yszrpv4hzdb-ghc-hashtables-1.2.3.4.drv",["out"]),("/gnu/store/wj18ijyn5djb1phmx7ljixff3xc2b9cy-bzip2-1.0.8.drv",["out"]),("/gnu/store/xb5lb2wkh95j5vrjflrram3n90zhs60s-tar-1.32.drv",["out"]),("/gnu/store/y7isjf6i92wmvwlxyfxj19q0v0f7bymm-gcc-7.5.0.drv",["out"]),("/gnu/store/zi31w264l8zp72ja22inr0742x55mf57-module-import-compiled.drv",["out"])],["/gnu/store/d2i2r5bhpl06wk70nqawvlfxhwdv6ra5-agda-2.6.0.1-guile-builder","/gnu/store/js0hi0a03b0hbnwm1czyqf2ch5pmp71h-module-import"],"i586-gnu","/gnu/store/q42i7lrbp442pr88r0ayd9mm5dry7zll-guile-3.0.2/bin/guile",["--no-auto-compile","-L","/gnu/store/js0hi0a03b0hbnwm1czyqf2ch5pmp71h-module-import","/gnu/store/d2i2r5bhpl06wk70nqawvlfxhwdv6ra5-agda-2.6.0.1-guile-builder"],[("GUILE_LOAD_COMPILED_PATH","/gnu/store/f33m0gkbnjg4mzahg3j64ml8kcx6q7lr-module-import-compiled"),("out","/gnu/store/rjx035avfrby0bc1sqxxn1n2zi2sqkmk-agda-2.6.0.1"),("static","/gnu/store/kcix2xj8pq2gwz86dbd6yl7hy53w6nak-agda-2.6.0.1-static")])