WARNING: (guile-user): imported module (guix build utils) overrides core binding `delete'
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/zj32dlv99980bp7fc13xc3y8fkr9xxfp-agda-2.6.0.1/bin:/gnu/store/v6f44zccwh9z5zk3pjlywjybbi8n2hjh-tar-1.32/bin:/gnu/store/ncydgq2znms5n1d2k5yqshhf58nsixwv-gzip-1.10/bin:/gnu/store/i8h2pcxqdq07ijm3ibkka8f4smn1w48v-bzip2-1.0.8/bin:/gnu/store/9860f1abqj8wjjnwl8a9v54pdcc3bhgf-xz-5.2.4/bin:/gnu/store/60g7r3l01fd7c58yjbm6krgcwj1jkpwg-file-5.38/bin:/gnu/store/n4n560pfvvw50a9369axw5vj5rrqfj1n-diffutils-3.7/bin:/gnu/store/cd5qf3kcnlq35p9k392pjdpdzpsnds70-patch-2.7.6/bin:/gnu/store/hic7snhayfl7m6cpfqqr73nmm19bpqkg-findutils-4.7.0/bin:/gnu/store/swqdvwri9dbv6zssg6v0by7l05hd6wxp-gawk-5.0.1/bin:/gnu/store/ishk7fswcs4gkwcp8mh788z4mvvl9bxh-sed-4.8/bin:/gnu/store/bhs4rj58v8j1narb2454raan2ps38xd8-grep-3.4/bin:/gnu/store/57xj5gcy1jbl9ai2lnrqnpr0dald9i65-coreutils-8.32/bin:/gnu/store/hm40bxnv8jxmbc1lpb7zfimii4xm9m81-make-4.3/bin:/gnu/store/pwcp239kjf7lnj5i4lkdzcfcxwcfyk72-bash-minimal-5.0.16/bin:/gnu/store/mpa04aq8lblbcviyxywxcsb1zbi0mf39-ld-wrapper-0/bin:/gnu/store/m1z7cdbqsqyp9xnjw5cvlb4a7gkcg3m4-binutils-2.34/bin:/gnu/store/rn75fm7adgx3pw5j8pg3bczfqq1y17lk-gcc-7.5.0/bin:/gnu/store/fa6wj5bxkj5ll1d7292a70knmyl7a0cr-glibc-2.31/bin:/gnu/store/fa6wj5bxkj5ll1d7292a70knmyl7a0cr-glibc-2.31/sbin'
environment variable `BASH_LOADABLES_PATH' unset
environment variable `C_INCLUDE_PATH' set to `/gnu/store/i8h2pcxqdq07ijm3ibkka8f4smn1w48v-bzip2-1.0.8/include:/gnu/store/9860f1abqj8wjjnwl8a9v54pdcc3bhgf-xz-5.2.4/include:/gnu/store/60g7r3l01fd7c58yjbm6krgcwj1jkpwg-file-5.38/include:/gnu/store/swqdvwri9dbv6zssg6v0by7l05hd6wxp-gawk-5.0.1/include:/gnu/store/hm40bxnv8jxmbc1lpb7zfimii4xm9m81-make-4.3/include:/gnu/store/m1z7cdbqsqyp9xnjw5cvlb4a7gkcg3m4-binutils-2.34/include:/gnu/store/rn75fm7adgx3pw5j8pg3bczfqq1y17lk-gcc-7.5.0/include:/gnu/store/fa6wj5bxkj5ll1d7292a70knmyl7a0cr-glibc-2.31/include:/gnu/store/gfapkk5c6hvl1d94m4sqnhn7f9l5gqyh-linux-libre-headers-5.4.20/include'
environment variable `CPLUS_INCLUDE_PATH' set to `/gnu/store/i8h2pcxqdq07ijm3ibkka8f4smn1w48v-bzip2-1.0.8/include:/gnu/store/9860f1abqj8wjjnwl8a9v54pdcc3bhgf-xz-5.2.4/include:/gnu/store/60g7r3l01fd7c58yjbm6krgcwj1jkpwg-file-5.38/include:/gnu/store/swqdvwri9dbv6zssg6v0by7l05hd6wxp-gawk-5.0.1/include:/gnu/store/hm40bxnv8jxmbc1lpb7zfimii4xm9m81-make-4.3/include:/gnu/store/m1z7cdbqsqyp9xnjw5cvlb4a7gkcg3m4-binutils-2.34/include:/gnu/store/rn75fm7adgx3pw5j8pg3bczfqq1y17lk-gcc-7.5.0/include/c++:/gnu/store/rn75fm7adgx3pw5j8pg3bczfqq1y17lk-gcc-7.5.0/include:/gnu/store/fa6wj5bxkj5ll1d7292a70knmyl7a0cr-glibc-2.31/include:/gnu/store/gfapkk5c6hvl1d94m4sqnhn7f9l5gqyh-linux-libre-headers-5.4.20/include'
environment variable `LIBRARY_PATH' set to `/gnu/store/zj32dlv99980bp7fc13xc3y8fkr9xxfp-agda-2.6.0.1/lib:/gnu/store/i8h2pcxqdq07ijm3ibkka8f4smn1w48v-bzip2-1.0.8/lib:/gnu/store/9860f1abqj8wjjnwl8a9v54pdcc3bhgf-xz-5.2.4/lib:/gnu/store/60g7r3l01fd7c58yjbm6krgcwj1jkpwg-file-5.38/lib:/gnu/store/swqdvwri9dbv6zssg6v0by7l05hd6wxp-gawk-5.0.1/lib:/gnu/store/m1z7cdbqsqyp9xnjw5cvlb4a7gkcg3m4-binutils-2.34/lib:/gnu/store/fa6wj5bxkj5ll1d7292a70knmyl7a0cr-glibc-2.31/lib:/gnu/store/s3dcqzwqaakv1yx37by9chksdbkgih17-glibc-2.31-static/lib:/gnu/store/hwcky7446s952w0mwchhmm211ll07zrq-glibc-utf8-locales-2.31/lib'
environment variable `GUIX_LOCPATH' set to `/gnu/store/hwcky7446s952w0mwchhmm211ll07zrq-glibc-utf8-locales-2.31/lib/locale'
phase `set-paths' 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/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/list.agda' -> `./list.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/vector-sort.agda' -> `./vector-sort.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/string-format-issue.agda' -> `./string-format-issue.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/nat-tests.agda' -> `./nat-tests.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/level.agda' -> `./level.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/string.agda' -> `./string.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/negation.agda' -> `./negation.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/kripke-semantics.agda' -> `./kripke-semantics.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/tree-io-example.agda' -> `./tree-io-example.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/nat.agda' -> `./nat.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/lib-safe.agda' -> `./lib-safe.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/unit.agda' -> `./unit.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/trie-thms.agda' -> `./trie-thms.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/bool-kleene.agda' -> `./bool-kleene.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/nat-division-basic.agda' -> `./nat-division-basic.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/nat-mod.agda' -> `./nat-mod.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/list-test.agda' -> `./list-test.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/Makefile' -> `./Makefile'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/bool-thms2.agda' -> `./bool-thms2.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/runtime-only.agda' -> `./runtime-only.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/trie.agda' -> `./trie.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/grammar.agda' -> `./grammar.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/list-zipWith.agda' -> `./list-zipWith.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/maybe-thms.agda' -> `./maybe-thms.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/lib.agda' -> `./lib.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/hello-world.txt' -> `./hello-world.txt'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/list-merge-sort-test.agda' -> `./list-merge-sort-test.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/bst.agda' -> `./bst.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/bool-test.agda' -> `./bool-test.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/io.agda' -> `./io.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/bool-relations.agda' -> `./bool-relations.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/nat-division.agda' -> `./nat-division.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/logic.agda' -> `./logic.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/datatypes.agda' -> `./datatypes.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/list-merge-sort.agda' -> `./list-merge-sort.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/list-thms.agda' -> `./list-thms.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/vector-test-ctors.agda' -> `./vector-test-ctors.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/termination.agda' -> `./termination.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/neg-datatype-nonterm.agda' -> `./neg-datatype-nonterm.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/README.txt' -> `./README.txt'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/nat-division-wf.agda' -> `./nat-division-wf.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/product.agda' -> `./product.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/vector-test.agda' -> `./vector-test.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/datatypes-safe.agda' -> `./datatypes-safe.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/LICENSE.txt' -> `./LICENSE.txt'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/closures.agda' -> `./closures.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/list-simplifier.agda' -> `./list-simplifier.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/nat-log-test.agda' -> `./nat-log-test.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/bool.agda' -> `./bool.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/thms.agda' -> `./thms.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/product-thms.agda' -> `./product-thms.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/list-merge-sort2.agda' -> `./list-merge-sort2.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/char.agda' -> `./char.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/nat-thms.agda' -> `./nat-thms.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/int.agda' -> `./int.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/io-test2.agda' -> `./io-test2.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/.agda-lib' -> `./.agda-lib'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/vector.agda' -> `./vector.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/ial.agda-lib' -> `./ial.agda-lib'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/tree.agda' -> `./tree.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/integer.agda' -> `./integer.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/tree-test.agda' -> `./tree-test.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/sum-thms.agda' -> `./sum-thms.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/type-level.agda' -> `./type-level.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/maybe.agda' -> `./maybe.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/.gitignore' -> `./.gitignore'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/empty.agda' -> `./empty.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/braun-tree-test.agda' -> `./braun-tree-test.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/nat-log.agda' -> `./nat-log.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/bool-thms.agda' -> `./bool-thms.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/list-to-string.agda' -> `./list-to-string.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/nat-to-string.agda' -> `./nat-to-string.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/io-test.agda' -> `./io-test.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/eq.agda' -> `./eq.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/nat-nonzero.agda' -> `./nat-nonzero.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/everything.agda' -> `./everything.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/functions.agda' -> `./functions.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/sum.agda' -> `./sum.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/list-thms2.agda' -> `./list-thms2.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/braun-tree.agda' -> `./braun-tree.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/string-thms.agda' -> `./string-thms.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/minmax.agda' -> `./minmax.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/find-deps.sh' -> `./find-deps.sh'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/bool-to-string.agda' -> `./bool-to-string.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/string-format.agda' -> `./string-format.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/neq.agda' -> `./neq.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/relations.agda' -> `./relations.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/combinators.agda' -> `./combinators.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/error.agda' -> `./error.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/test3.huff' -> `./huffman/test3.huff'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/Makefile' -> `./huffman/Makefile'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/test1.txt' -> `./huffman/test1.txt'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/test1-decoded.txt' -> `./huffman/test1-decoded.txt'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/test1-frequencies.txt' -> `./huffman/test1-frequencies.txt'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/test2-frequencies.txt' -> `./huffman/test2-frequencies.txt'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/test2.gv' -> `./huffman/test2.gv'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/test2.txt' -> `./huffman/test2.txt'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/huffman-types.agda' -> `./huffman/huffman-types.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/huffman-main.agda' -> `./huffman/huffman-main.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/test2-decoded.txt' -> `./huffman/test2-decoded.txt'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/main.agda' -> `./huffman/main.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/test2.huff' -> `./huffman/test2.huff'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/test3.txt' -> `./huffman/test3.txt'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/test3-mapping.txt' -> `./huffman/test3-mapping.txt'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/test3-decoded.txt' -> `./huffman/test3-decoded.txt'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/huffman-tree.agda' -> `./huffman/huffman-tree.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/huffman.agda' -> `./huffman/huffman.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/test1-mapping.txt' -> `./huffman/test1-mapping.txt'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/test3-frequencies.txt' -> `./huffman/test3-frequencies.txt'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/huffman.gr' -> `./huffman/huffman.gr'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/test1.gv' -> `./huffman/test1.gv'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/test3.gv' -> `./huffman/test3.gv'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/test1.huff' -> `./huffman/test1.huff'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/test2-mapping.txt' -> `./huffman/test2-mapping.txt'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/cruft/int-tests.agda' -> `./cruft/int-tests.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/cruft/int.agda' -> `./cruft/int.agda'
phase `unpack' succeeded after 0.0 seconds
starting phase `bootstrap'
no 'configure.ac' or anything like that, doing nothing
phase `bootstrap' 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/pwcp239kjf7lnj5i4lkdzcfcxwcfyk72-bash-minimal-5.0.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 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.agda
agda  -v 0 vector.agda
agda  -v 0 datatypes.agda
agda  -v 0 int.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 73.5 seconds
starting phase `install'
phase `install' succeeded after 0.0 seconds
starting phase `patch-shebangs'
phase `patch-shebangs' succeeded after 0.0 seconds
starting phase `strip'
phase `strip' succeeded after 0.0 seconds
starting phase `validate-runpath'
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 `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