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/69sya9z3m6kvrqn445m5air199qwx1xc-agda-2.6.2.2/bin:/gnu/store/g2ajyl8xk9aarxrgjbng2hkj3qm2v0z2-tar-1.34/bin:/gnu/store/iixwcv3k49ks1rf34pjgfzmzyhhgwng3-gzip-1.10/bin:/gnu/store/s3hl12jxz9ybs7nsy7kq7ybzz7qnzmsg-bzip2-1.0.8/bin:/gnu/store/c8isj4jq6knv0icfgr43di6q3nvdzkx7-xz-5.2.5/bin:/gnu/store/4ic6244i3ca4b4rxc2wnrgllsidyishv-file-5.39/bin:/gnu/store/ahmmvw21p11ik80lg1f953y7fd8bqkjm-diffutils-3.8/bin:/gnu/store/z39hnrwds1dgcbpfgj8dnv2cngjb2xbl-patch-2.7.6/bin:/gnu/store/39rsx3nl4c31952jybbjb8d6idr5hx7r-findutils-4.8.0/bin:/gnu/store/690qz3fg334dpwn3pn6k59n4wc943p2b-gawk-5.1.0/bin:/gnu/store/wxgv6i8g0p24q5gcyzd0yr07s8kn9680-sed-4.8/bin:/gnu/store/xjwp2hsd9256icjjybfrmznppjicywf6-grep-3.6/bin:/gnu/store/d251rfgc9nm2clzffzhgiipdvfvzkvwi-coreutils-8.32/bin:/gnu/store/55cbpsi18mahg131nmiya6km5b4mscfa-make-4.3/bin:/gnu/store/4y5m9lb8k3qkb1y9m02sw9w9a6hacd16-bash-minimal-5.1.8/bin:/gnu/store/s2pg5k98fl2g2szg9dykxyd9zl3xihv9-ld-wrapper-0/bin:/gnu/store/rc781v4k0drhaqn90xfwwpspki5x0bvf-binutils-2.37/bin:/gnu/store/069aq2v993kpc41yabp5b6vm4wb9jkhg-gcc-10.3.0/bin:/gnu/store/5h2w4qi9hk1qzzgi1w83220ydslinr4s-glibc-2.33/bin:/gnu/store/5h2w4qi9hk1qzzgi1w83220ydslinr4s-glibc-2.33/sbin'
environment variable `BASH_LOADABLES_PATH' unset
environment variable `C_INCLUDE_PATH' set to `/gnu/store/s3hl12jxz9ybs7nsy7kq7ybzz7qnzmsg-bzip2-1.0.8/include:/gnu/store/c8isj4jq6knv0icfgr43di6q3nvdzkx7-xz-5.2.5/include:/gnu/store/4ic6244i3ca4b4rxc2wnrgllsidyishv-file-5.39/include:/gnu/store/690qz3fg334dpwn3pn6k59n4wc943p2b-gawk-5.1.0/include:/gnu/store/55cbpsi18mahg131nmiya6km5b4mscfa-make-4.3/include:/gnu/store/rc781v4k0drhaqn90xfwwpspki5x0bvf-binutils-2.37/include:/gnu/store/069aq2v993kpc41yabp5b6vm4wb9jkhg-gcc-10.3.0/include:/gnu/store/5h2w4qi9hk1qzzgi1w83220ydslinr4s-glibc-2.33/include:/gnu/store/6mjww4iz4xdan74d5bbjfh7il8rngfkk-linux-libre-headers-5.10.35/include'
environment variable `CPLUS_INCLUDE_PATH' set to `/gnu/store/s3hl12jxz9ybs7nsy7kq7ybzz7qnzmsg-bzip2-1.0.8/include:/gnu/store/c8isj4jq6knv0icfgr43di6q3nvdzkx7-xz-5.2.5/include:/gnu/store/4ic6244i3ca4b4rxc2wnrgllsidyishv-file-5.39/include:/gnu/store/690qz3fg334dpwn3pn6k59n4wc943p2b-gawk-5.1.0/include:/gnu/store/55cbpsi18mahg131nmiya6km5b4mscfa-make-4.3/include:/gnu/store/rc781v4k0drhaqn90xfwwpspki5x0bvf-binutils-2.37/include:/gnu/store/069aq2v993kpc41yabp5b6vm4wb9jkhg-gcc-10.3.0/include/c++:/gnu/store/069aq2v993kpc41yabp5b6vm4wb9jkhg-gcc-10.3.0/include:/gnu/store/5h2w4qi9hk1qzzgi1w83220ydslinr4s-glibc-2.33/include:/gnu/store/6mjww4iz4xdan74d5bbjfh7il8rngfkk-linux-libre-headers-5.10.35/include'
environment variable `LIBRARY_PATH' set to `/gnu/store/69sya9z3m6kvrqn445m5air199qwx1xc-agda-2.6.2.2/lib:/gnu/store/s3hl12jxz9ybs7nsy7kq7ybzz7qnzmsg-bzip2-1.0.8/lib:/gnu/store/c8isj4jq6knv0icfgr43di6q3nvdzkx7-xz-5.2.5/lib:/gnu/store/4ic6244i3ca4b4rxc2wnrgllsidyishv-file-5.39/lib:/gnu/store/690qz3fg334dpwn3pn6k59n4wc943p2b-gawk-5.1.0/lib:/gnu/store/rc781v4k0drhaqn90xfwwpspki5x0bvf-binutils-2.37/lib:/gnu/store/5h2w4qi9hk1qzzgi1w83220ydslinr4s-glibc-2.33/lib:/gnu/store/4jdghmc65q7i7ib89zmvq66l0ghf7jc4-glibc-2.33-static/lib:/gnu/store/fnr1z6xsan0437r0yg48d0y8k32kqxby-glibc-utf8-locales-2.33/lib'
environment variable `GUIX_LOCPATH' set to `/gnu/store/fnr1z6xsan0437r0yg48d0y8k32kqxby-glibc-utf8-locales-2.33/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/4y5m9lb8k3qkb1y9m02sw9w9a6hacd16-bash-minimal-5.1.8/bin/bash'
phase `patch-source-shebangs' succeeded after 0.1 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
/tmp/guix-build-agda-ial-1.5.0.drv-0/source/braun-tree.agda:34,1-50,75
Termination checking failed for the following functions:
  bt-replace-min
Problematic calls:
  bt-replace-min A _<A_ a
  (bt-node a' (bt-node x l r u) bt-empty (inj₂ y))
  | a <A x
  bt-replace-min a (bt-node x l r u)
    (at /tmp/guix-build-agda-ial-1.5.0.drv-0/source/braun-tree.agda:42,14-28)
/tmp/guix-build-agda-ial-1.5.0.drv-0/source/braun-tree.agda:55,1-74,46
Termination checking failed for the following functions:
  bt-delete-min
Problematic calls:
  bt-delete-min A _<A_
  (bt-node a (bt-node x l1 r1 u1) (bt-node x' l2 r2 u2) u)
  | n + m + suc (n' + m') | +suc (n + m) (n' + m')
  braun-tree.-rewrite352 (suc (n + m + (n' + m'))) refl A _<A_ a x l1
  r1 u1 x' l2 r2 u2 u
  | n + suc (m + (n' + m')) | +suc n (m + (n' + m'))
  braun-tree.-rewrite356 (suc (n + (m + (n' + m')))) refl A _<A_ a x
  l1 r1 u1 x' l2 r2 u2 u
  | n + m + (n' + m') | +comm (n + m) (n' + m')
  bt-delete-min (bt-node x l1 r1 u1)
    (at /tmp/guix-build-agda-ial-1.5.0.drv-0/source/braun-tree.agda:70,8-21)
make: *** [Makefile:35: braun-tree.agdai] Error 42
error: in phase 'build': uncaught exception:
%exception #<&invoke-error program: "make" arguments: () exit-status: 2 term-signal: #f stop-signal: #f> 
phase `build' failed after 65.4 seconds
command "make" failed with status 2