starting phase `set-SOURCE-DATE-EPOCH'
phase `set-SOURCE-DATE-EPOCH' succeeded after 0.0 seconds
starting phase `set-paths'
environment variable `PATH' set to `/gnu/store/6i0gln5l1mgiy065nnyra1n386h734rm-agda-2.6.3/bin:/gnu/store/pimlc7cpbs6s2180kahfibiz0bx7b5aq-ghc-9.2.5/bin:/gnu/store/ns71xxkb3fzr37934bim9l8xiv68kc7w-tar-1.34/bin:/gnu/store/qg9gwla5sgvxf8hc623wp0738klhvh3c-gzip-1.12/bin:/gnu/store/17f7y3p0mhbhamgdpccg00y0kgphbcc6-bzip2-1.0.8/bin:/gnu/store/5clpjcsm37z56dw50kfwafh21p1p104l-file-5.44/bin:/gnu/store/wjgap1k3jafgk0qjnhkrjdvfly7b0wls-diffutils-3.8/bin:/gnu/store/yvdhyjiszsrhk3j3kxvn0rpi3m8dsa5z-patch-2.7.6/bin:/gnu/store/wx2003zzfcc04xs5xj77k3ppnm60r3gf-findutils-4.9.0/bin:/gnu/store/g9m1n9565flslpbm4l1q4k4a33pqzqdd-gawk-5.2.1/bin:/gnu/store/22wcvbqpyyzbccywskskriw4wc9x934m-sed-4.8/bin:/gnu/store/8wbaxwbgagpr7br8mhm4jriq9r23bln4-grep-3.8/bin:/gnu/store/hq06xa3zfv7yzb3i2r43vl0f3ml6qq28-xz-5.2.8/bin:/gnu/store/skcwbg8v0w643w71j9zx25cq0a6dwirs-coreutils-9.1/bin:/gnu/store/3v8fyd0ikmwzmr4g3yxp2ylyqpha06kn-make-4.3/bin:/gnu/store/ldpzhbqzshcyf74hkvgqppzrrdy9r7kv-bash-minimal-5.1.16/bin:/gnu/store/r78m0mqhza5sdqp8mv9wn68xkqks206i-ld-wrapper-0/bin:/gnu/store/34n4pp71cdg844zsfgfnysg5lsjaxqgb-binutils-2.38/bin:/gnu/store/isbd8adggnzdprcd7fxxlck2f5iqamg5-gcc-11.3.0/bin:/gnu/store/0hr9jpczkcgpgqkhf4q4868xd57h5a62-glibc-2.35/bin:/gnu/store/0hr9jpczkcgpgqkhf4q4868xd57h5a62-glibc-2.35/sbin'
environment variable `AGDA_LIBDIRS' unset
find-files: /gnu/store/ns71xxkb3fzr37934bim9l8xiv68kc7w-tar-1.34/lib/ghc-9.2.5: No such file or directory
find-files: /gnu/store/qg9gwla5sgvxf8hc623wp0738klhvh3c-gzip-1.12/lib/ghc-9.2.5: No such file or directory
find-files: /gnu/store/17f7y3p0mhbhamgdpccg00y0kgphbcc6-bzip2-1.0.8/lib/ghc-9.2.5: No such file or directory
find-files: /gnu/store/5clpjcsm37z56dw50kfwafh21p1p104l-file-5.44/lib/ghc-9.2.5: No such file or directory
find-files: /gnu/store/wjgap1k3jafgk0qjnhkrjdvfly7b0wls-diffutils-3.8/lib/ghc-9.2.5: No such file or directory
find-files: /gnu/store/yvdhyjiszsrhk3j3kxvn0rpi3m8dsa5z-patch-2.7.6/lib/ghc-9.2.5: No such file or directory
find-files: /gnu/store/wx2003zzfcc04xs5xj77k3ppnm60r3gf-findutils-4.9.0/lib/ghc-9.2.5: No such file or directory
find-files: /gnu/store/g9m1n9565flslpbm4l1q4k4a33pqzqdd-gawk-5.2.1/lib/ghc-9.2.5: No such file or directory
find-files: /gnu/store/22wcvbqpyyzbccywskskriw4wc9x934m-sed-4.8/lib/ghc-9.2.5: No such file or directory
find-files: /gnu/store/8wbaxwbgagpr7br8mhm4jriq9r23bln4-grep-3.8/lib/ghc-9.2.5: No such file or directory
find-files: /gnu/store/hq06xa3zfv7yzb3i2r43vl0f3ml6qq28-xz-5.2.8/lib/ghc-9.2.5: No such file or directory
find-files: /gnu/store/skcwbg8v0w643w71j9zx25cq0a6dwirs-coreutils-9.1/lib/ghc-9.2.5: No such file or directory
find-files: /gnu/store/3v8fyd0ikmwzmr4g3yxp2ylyqpha06kn-make-4.3/lib/ghc-9.2.5: No such file or directory
find-files: /gnu/store/ldpzhbqzshcyf74hkvgqppzrrdy9r7kv-bash-minimal-5.1.16/lib/ghc-9.2.5: No such file or directory
find-files: /gnu/store/r78m0mqhza5sdqp8mv9wn68xkqks206i-ld-wrapper-0/lib/ghc-9.2.5: No such file or directory
find-files: /gnu/store/34n4pp71cdg844zsfgfnysg5lsjaxqgb-binutils-2.38/lib/ghc-9.2.5: No such file or directory
find-files: /gnu/store/isbd8adggnzdprcd7fxxlck2f5iqamg5-gcc-11.3.0/lib/ghc-9.2.5: No such file or directory
find-files: /gnu/store/0hr9jpczkcgpgqkhf4q4868xd57h5a62-glibc-2.35/lib/ghc-9.2.5: No such file or directory
find-files: /gnu/store/d6zg5vlbby1rnvs390y4nvpqipv4hjd4-glibc-2.35-static/lib/ghc-9.2.5: No such file or directory
find-files: /gnu/store/37mccb3vgrmm72lkmnrms2sp0n7qw3d8-glibc-utf8-locales-2.35/lib/ghc-9.2.5: No such file or directory
find-files: /gnu/store/6cm8c3968v9nn2f7j3ap67hyxy853p6d-linux-libre-headers-5.15.49/lib/ghc-9.2.5: No such file or directory
environment variable `GHC_PACKAGE_PATH' set to `/gnu/store/6i0gln5l1mgiy065nnyra1n386h734rm-agda-2.6.3/lib/ghc-9.2.5/agda-2.6.3.conf.d:/gnu/store/pimlc7cpbs6s2180kahfibiz0bx7b5aq-ghc-9.2.5/lib/ghc-9.2.5/package.conf.d'
environment variable `BASH_LOADABLES_PATH' unset
environment variable `C_INCLUDE_PATH' set to `/gnu/store/17f7y3p0mhbhamgdpccg00y0kgphbcc6-bzip2-1.0.8/include:/gnu/store/5clpjcsm37z56dw50kfwafh21p1p104l-file-5.44/include:/gnu/store/g9m1n9565flslpbm4l1q4k4a33pqzqdd-gawk-5.2.1/include:/gnu/store/hq06xa3zfv7yzb3i2r43vl0f3ml6qq28-xz-5.2.8/include:/gnu/store/3v8fyd0ikmwzmr4g3yxp2ylyqpha06kn-make-4.3/include:/gnu/store/34n4pp71cdg844zsfgfnysg5lsjaxqgb-binutils-2.38/include:/gnu/store/isbd8adggnzdprcd7fxxlck2f5iqamg5-gcc-11.3.0/include:/gnu/store/0hr9jpczkcgpgqkhf4q4868xd57h5a62-glibc-2.35/include:/gnu/store/6cm8c3968v9nn2f7j3ap67hyxy853p6d-linux-libre-headers-5.15.49/include'
environment variable `CPLUS_INCLUDE_PATH' set to `/gnu/store/17f7y3p0mhbhamgdpccg00y0kgphbcc6-bzip2-1.0.8/include:/gnu/store/5clpjcsm37z56dw50kfwafh21p1p104l-file-5.44/include:/gnu/store/g9m1n9565flslpbm4l1q4k4a33pqzqdd-gawk-5.2.1/include:/gnu/store/hq06xa3zfv7yzb3i2r43vl0f3ml6qq28-xz-5.2.8/include:/gnu/store/3v8fyd0ikmwzmr4g3yxp2ylyqpha06kn-make-4.3/include:/gnu/store/34n4pp71cdg844zsfgfnysg5lsjaxqgb-binutils-2.38/include:/gnu/store/isbd8adggnzdprcd7fxxlck2f5iqamg5-gcc-11.3.0/include/c++:/gnu/store/isbd8adggnzdprcd7fxxlck2f5iqamg5-gcc-11.3.0/include:/gnu/store/0hr9jpczkcgpgqkhf4q4868xd57h5a62-glibc-2.35/include:/gnu/store/6cm8c3968v9nn2f7j3ap67hyxy853p6d-linux-libre-headers-5.15.49/include'
environment variable `LIBRARY_PATH' set to `/gnu/store/6i0gln5l1mgiy065nnyra1n386h734rm-agda-2.6.3/lib:/gnu/store/pimlc7cpbs6s2180kahfibiz0bx7b5aq-ghc-9.2.5/lib:/gnu/store/17f7y3p0mhbhamgdpccg00y0kgphbcc6-bzip2-1.0.8/lib:/gnu/store/5clpjcsm37z56dw50kfwafh21p1p104l-file-5.44/lib:/gnu/store/g9m1n9565flslpbm4l1q4k4a33pqzqdd-gawk-5.2.1/lib:/gnu/store/hq06xa3zfv7yzb3i2r43vl0f3ml6qq28-xz-5.2.8/lib:/gnu/store/34n4pp71cdg844zsfgfnysg5lsjaxqgb-binutils-2.38/lib:/gnu/store/0hr9jpczkcgpgqkhf4q4868xd57h5a62-glibc-2.35/lib:/gnu/store/d6zg5vlbby1rnvs390y4nvpqipv4hjd4-glibc-2.35-static/lib:/gnu/store/37mccb3vgrmm72lkmnrms2sp0n7qw3d8-glibc-utf8-locales-2.35/lib'
environment variable `GUIX_LOCPATH' set to `/gnu/store/37mccb3vgrmm72lkmnrms2sp0n7qw3d8-glibc-utf8-locales-2.35/lib/locale'
phase `set-paths' succeeded after 0.2 seconds
starting phase `set-locpath'
phase `set-locpath' succeeded after 0.0 seconds
starting phase `install-locale'
using 'en_US.utf8' locale for category "LC_ALL"
phase `install-locale' succeeded after 0.0 seconds
starting phase `unpack'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/char.agda' -> `./char.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/nat-log-test.agda' -> `./nat-log-test.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/nat-division-basic.agda' -> `./nat-division-basic.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/list-to-string.agda' -> `./list-to-string.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/io-test.agda' -> `./io-test.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/braun-tree.agda' -> `./braun-tree.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/thms.agda' -> `./thms.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/empty.agda' -> `./empty.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/nat-thms.agda' -> `./nat-thms.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/list-zipWith.agda' -> `./list-zipWith.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/nat-division.agda' -> `./nat-division.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/neq.agda' -> `./neq.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/lib.agda' -> `./lib.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/list-test.agda' -> `./list-test.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/Makefile' -> `./Makefile'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/unit.agda' -> `./unit.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/type-level.agda' -> `./type-level.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/grammar.agda' -> `./grammar.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/bool-to-string.agda' -> `./bool-to-string.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/nat-division-wf.agda' -> `./nat-division-wf.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/maybe.agda' -> `./maybe.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/closures.agda' -> `./closures.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/functions.agda' -> `./functions.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/int.agda' -> `./int.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/tree-test.agda' -> `./tree-test.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/list-thms.agda' -> `./list-thms.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/eq.agda' -> `./eq.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/kripke-semantics.agda' -> `./kripke-semantics.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/io.agda' -> `./io.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/product-thms.agda' -> `./product-thms.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/nat-mod.agda' -> `./nat-mod.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/sum-thms.agda' -> `./sum-thms.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/vector-test-ctors.agda' -> `./vector-test-ctors.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/nat.agda' -> `./nat.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/nat-to-string.agda' -> `./nat-to-string.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/bool-relations.agda' -> `./bool-relations.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/error.agda' -> `./error.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/vector.agda' -> `./vector.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/bst.agda' -> `./bst.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/runtime-only.agda' -> `./runtime-only.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/tree-io-example.agda' -> `./tree-io-example.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/braun-tree-test.agda' -> `./braun-tree-test.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/trie-functions.agda' -> `./trie-functions.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/product.agda' -> `./product.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/list.agda' -> `./list.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/io-test2.agda' -> `./io-test2.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/string-format-issue.agda' -> `./string-format-issue.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/list-merge-sort.agda' -> `./list-merge-sort.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/list-merge-sort2.agda' -> `./list-merge-sort2.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/hello-world.txt' -> `./hello-world.txt'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/vector-test.agda' -> `./vector-test.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/list-thms2.agda' -> `./list-thms2.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/bool.agda' -> `./bool.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/lib-safe.agda' -> `./lib-safe.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/string-format.agda' -> `./string-format.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/LICENSE.txt' -> `./LICENSE.txt'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/datatypes-safe.agda' -> `./datatypes-safe.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/ial.agda-lib' -> `./ial.agda-lib'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/bool-thms2.agda' -> `./bool-thms2.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/list-merge-sort-test.agda' -> `./list-merge-sort-test.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/combinators.agda' -> `./combinators.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/list-simplifier.agda' -> `./list-simplifier.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/everything.agda' -> `./everything.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/minmax.agda' -> `./minmax.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/.gitignore' -> `./.gitignore'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/maybe-thms.agda' -> `./maybe-thms.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/nat-tests.agda' -> `./nat-tests.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/vector-sort.agda' -> `./vector-sort.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/.agda-lib' -> `./.agda-lib'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/logic.agda' -> `./logic.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/negation.agda' -> `./negation.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/termination.agda' -> `./termination.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/neg-datatype-nonterm.agda' -> `./neg-datatype-nonterm.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/trie-fast.agda' -> `./trie-fast.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/bool-thms.agda' -> `./bool-thms.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/nat-log.agda' -> `./nat-log.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/bool-kleene.agda' -> `./bool-kleene.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/integer.agda' -> `./integer.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/string-thms.agda' -> `./string-thms.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/level.agda' -> `./level.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/relations.agda' -> `./relations.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/bool-test.agda' -> `./bool-test.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/nat-nonzero.agda' -> `./nat-nonzero.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/trie.agda' -> `./trie.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/trie-core.agda' -> `./trie-core.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/datatypes.agda' -> `./datatypes.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/sum.agda' -> `./sum.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/find-deps.sh' -> `./find-deps.sh'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/trie-thms.agda' -> `./trie-thms.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/string.agda' -> `./string.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/README.txt' -> `./README.txt'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/tree.agda' -> `./tree.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/cruft/int.agda' -> `./cruft/int.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/cruft/int-tests.agda' -> `./cruft/int-tests.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/test1-frequencies.txt' -> `./huffman/test1-frequencies.txt'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/test1.huff' -> `./huffman/test1.huff'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/huffman.gr' -> `./huffman/huffman.gr'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/Makefile' -> `./huffman/Makefile'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/test3.gv' -> `./huffman/test3.gv'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/test2.txt' -> `./huffman/test2.txt'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/test2.huff' -> `./huffman/test2.huff'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/test3-decoded.txt' -> `./huffman/test3-decoded.txt'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/main.agda' -> `./huffman/main.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/test2-decoded.txt' -> `./huffman/test2-decoded.txt'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/test2.gv' -> `./huffman/test2.gv'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/test1.gv' -> `./huffman/test1.gv'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/test1.txt' -> `./huffman/test1.txt'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/test1-decoded.txt' -> `./huffman/test1-decoded.txt'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/test2-frequencies.txt' -> `./huffman/test2-frequencies.txt'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/huffman-tree.agda' -> `./huffman/huffman-tree.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/test3-frequencies.txt' -> `./huffman/test3-frequencies.txt'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/test3.txt' -> `./huffman/test3.txt'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/test3.huff' -> `./huffman/test3.huff'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/test3-mapping.txt' -> `./huffman/test3-mapping.txt'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/test2-mapping.txt' -> `./huffman/test2-mapping.txt'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/huffman-types.agda' -> `./huffman/huffman-types.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/test1-mapping.txt' -> `./huffman/test1-mapping.txt'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/huffman.agda' -> `./huffman/huffman.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/huffman-main.agda' -> `./huffman/huffman-main.agda'
phase `unpack' succeeded after 0.0 seconds
starting phase `patch-usr-bin-file'
phase `patch-usr-bin-file' succeeded after 0.0 seconds
starting phase `patch-source-shebangs'
patch-shebang: ./find-deps.sh: changing `/bin/bash' to `/gnu/store/ldpzhbqzshcyf74hkvgqppzrrdy9r7kv-bash-minimal-5.1.16/bin/bash'
phase `patch-source-shebangs' succeeded after 0.0 seconds
starting phase `patch-generated-file-shebangs'
phase `patch-generated-file-shebangs' succeeded after 0.0 seconds
starting phase `patch-dependencies'
phase `patch-dependencies' succeeded after 0.0 seconds
starting phase `build'
agda  -v 0 level.agda
agda  -v 0 bool.agda
agda  -v 0 eq.agda
agda  -v 0 bool-test.agda
agda  -v 0 maybe.agda
agda  -v 0 product.agda
agda  -v 0 sum.agda
agda  -v 0 bool-thms.agda
agda  -v 0 bool-thms2.agda
agda  -v 0 bool-kleene.agda
agda  -v 0 nat.agda
agda  -v 0 unit.agda
agda  -v 0 functions.agda
agda  -v 0 product-thms.agda
agda  -v 0 char.agda
agda  -v 0 empty.agda
agda  -v 0 list.agda
agda  -v 0 string.agda
agda  -v 0 bool-to-string.agda
agda  -v 0 negation.agda
agda  -v 0 neq.agda
agda  -v 0 nat-thms.agda
agda  -v 0 braun-tree.agda
agda  -v 0 braun-tree-test.agda
agda  -v 0 bool-relations.agda
agda  -v 0 minmax.agda
agda  -v 0 bst.agda
agda  -v 0 logic.agda
agda  -v 0 list-thms.agda
agda  -v 0 relations.agda
agda  -v 0 termination.agda
agda  -v 0 combinators.agda
agda  -v 0 int.agda
agda  -v 0 integer.agda
agda  -v 0 list-to-string.agda
agda  -v 0 nat-division.agda
agda  -v 0 nat-to-string.agda
agda  -v 0 nat-log.agda
agda  -v 0 tree.agda
agda  -v 0 trie-core.agda
agda  -v 0 trie-functions.agda
agda  -v 0 trie.agda
agda  -v 0 vector.agda
agda  -v 0 datatypes.agda
agda  -v 0 io.agda
agda  -v 0 io-test.agda
agda  -v 0 io-test2.agda
agda  -v 0 list-test.agda
agda  -v 0 list-thms2.agda
agda  -v 0 list-merge-sort.agda
agda  -v 0 list-merge-sort-test.agda
agda  -v 0 maybe-thms.agda
agda  -v 0 nat-division-wf.agda
agda  -v 0 nat-division-basic.agda
agda  -v 0 nat-tests.agda
agda  -v 0 nat-nonzero.agda
agda  -v 0 runtime-only.agda
agda  -v 0 string-format.agda
agda  -v 0 sum-thms.agda
agda  -v 0 tree-test.agda
agda  -v 0 trie-thms.agda
agda  -v 0 vector-test.agda
agda  -v 0 vector-sort.agda
phase `build' succeeded after 42.7 seconds
starting phase `install'
`_build/2.6.3/agda/nat.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/nat.agdai'
`_build/2.6.3/agda/logic.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/logic.agdai'
`_build/2.6.3/agda/neq.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/neq.agdai'
`_build/2.6.3/agda/maybe-thms.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/maybe-thms.agdai'
`_build/2.6.3/agda/braun-tree-test.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/braun-tree-test.agdai'
`_build/2.6.3/agda/nat-division-wf.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/nat-division-wf.agdai'
`_build/2.6.3/agda/empty.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/empty.agdai'
`_build/2.6.3/agda/sum-thms.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/sum-thms.agdai'
`_build/2.6.3/agda/vector.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/vector.agdai'
`_build/2.6.3/agda/nat-log.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/nat-log.agdai'
`_build/2.6.3/agda/bst.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/bst.agdai'
`_build/2.6.3/agda/bool-thms.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/bool-thms.agdai'
`_build/2.6.3/agda/bool.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/bool.agdai'
`_build/2.6.3/agda/trie-core.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/trie-core.agdai'
`_build/2.6.3/agda/bool-relations.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/bool-relations.agdai'
`_build/2.6.3/agda/level.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/level.agdai'
`_build/2.6.3/agda/trie-thms.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/trie-thms.agdai'
`_build/2.6.3/agda/trie.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/trie.agdai'
`_build/2.6.3/agda/unit.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/unit.agdai'
`_build/2.6.3/agda/nat-to-string.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/nat-to-string.agdai'
`_build/2.6.3/agda/char.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/char.agdai'
`_build/2.6.3/agda/list-to-string.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/list-to-string.agdai'
`_build/2.6.3/agda/nat-thms.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/nat-thms.agdai'
`_build/2.6.3/agda/negation.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/negation.agdai'
`_build/2.6.3/agda/relations.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/relations.agdai'
`_build/2.6.3/agda/sum.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/sum.agdai'
`_build/2.6.3/agda/trie-functions.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/trie-functions.agdai'
`_build/2.6.3/agda/list-merge-sort.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/list-merge-sort.agdai'
`_build/2.6.3/agda/nat-nonzero.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/nat-nonzero.agdai'
`_build/2.6.3/agda/tree.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/tree.agdai'
`_build/2.6.3/agda/maybe.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/maybe.agdai'
`_build/2.6.3/agda/nat-division.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/nat-division.agdai'
`_build/2.6.3/agda/io-test.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/io-test.agdai'
`_build/2.6.3/agda/io.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/io.agdai'
`_build/2.6.3/agda/closures.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/closures.agdai'
`_build/2.6.3/agda/combinators.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/combinators.agdai'
`_build/2.6.3/agda/product-thms.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/product-thms.agdai'
`_build/2.6.3/agda/braun-tree.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/braun-tree.agdai'
`_build/2.6.3/agda/list.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/list.agdai'
`_build/2.6.3/agda/bool-thms2.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/bool-thms2.agdai'
`_build/2.6.3/agda/string.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/string.agdai'
`_build/2.6.3/agda/eq.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/eq.agdai'
`_build/2.6.3/agda/nat-tests.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/nat-tests.agdai'
`_build/2.6.3/agda/functions.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/functions.agdai'
`_build/2.6.3/agda/list-thms2.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/list-thms2.agdai'
`_build/2.6.3/agda/integer.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/integer.agdai'
`_build/2.6.3/agda/list-test.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/list-test.agdai'
`_build/2.6.3/agda/tree-test.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/tree-test.agdai'
`_build/2.6.3/agda/termination.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/termination.agdai'
`_build/2.6.3/agda/product.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/product.agdai'
`_build/2.6.3/agda/minmax.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/minmax.agdai'
`_build/2.6.3/agda/list-merge-sort-test.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/list-merge-sort-test.agdai'
`_build/2.6.3/agda/string-format.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/string-format.agdai'
`_build/2.6.3/agda/vector-test.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/vector-test.agdai'
`_build/2.6.3/agda/int.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/int.agdai'
`_build/2.6.3/agda/vector-sort.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/vector-sort.agdai'
`_build/2.6.3/agda/runtime-only.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/runtime-only.agdai'
`_build/2.6.3/agda/datatypes.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/datatypes.agdai'
`_build/2.6.3/agda/io-test2.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/io-test2.agdai'
`_build/2.6.3/agda/bool-kleene.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/bool-kleene.agdai'
`_build/2.6.3/agda/bool-to-string.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/bool-to-string.agdai'
`_build/2.6.3/agda/list-thms.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/list-thms.agdai'
`_build/2.6.3/agda/bool-test.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/bool-test.agdai'
`_build/2.6.3/agda/nat-division-basic.agdai' -> `/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.6.3/agda/nat-division-basic.agdai'
phase `install' succeeded after 0.0 seconds
starting phase `patch-shebangs'
phase `patch-shebangs' succeeded after 0.0 seconds
starting phase `strip'
stripping binaries in "/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib" with "strip" and flags ("--strip-unneeded" "--enable-deterministic-archives")
phase `strip' succeeded after 0.0 seconds
starting phase `validate-runpath'
validating RUNPATH of 0 binaries in "/gnu/store/qk0ira92nlypwf6l0vmxipmlgfl7sf78-agda-ial-1.5.0-1.ded30c4/lib"...
phase `validate-runpath' succeeded after 0.0 seconds
starting phase `validate-documentation-location'
phase `validate-documentation-location' succeeded after 0.0 seconds
starting phase `delete-info-dir-file'
phase `delete-info-dir-file' succeeded after 0.0 seconds
starting phase `patch-dot-desktop-files'
phase `patch-dot-desktop-files' succeeded after 0.0 seconds
starting phase `make-dynamic-linker-cache'
phase `make-dynamic-linker-cache' succeeded after 0.0 seconds
starting phase `install-license-files'
installing 1 license files from '.'
phase `install-license-files' succeeded after 0.0 seconds
starting phase `reset-gzip-timestamps'
phase `reset-gzip-timestamps' succeeded after 0.0 seconds
starting phase `compress-documentation'
phase `compress-documentation' succeeded after 0.0 seconds